Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957
From MaRDI portal
(Redirected from Publication:770786)
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
- Relative and modified relative realizability
- Analyzing realizability by Troelstra's methods
- 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)