Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
From MaRDI portal
Publication:770786
zbMath0086.00701MaRDI QIDQ770786
No author found.
Publication date: 1959
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (7)
Peptide Computers ⋮ Church's thesis, continuity, and set theory ⋮ Polymorphic extensions of simple type structures. With an application to a bar recursive minimization ⋮ A Computable Solution to Partee’s Temperature Puzzle ⋮ The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations ⋮ Analyzing realizability by Troelstra's methods ⋮ Relative and modified relative realizability
This page was built for publication: Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
