Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
From MaRDI portal
Publication:770786
zbMATH Open0086.00701MaRDI QIDQ770786FDOQ770786
Authors:
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)
Cited In (7)
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization
- A Computable Solution to Partee’s Temperature Puzzle
- Analyzing realizability by Troelstra's methods
- Relative and modified relative realizability
- Peptide computers
- Church's thesis, continuity, and set theory
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
This page was built for publication: Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q770786)
