Pages that link to "Item:Q770786"
From MaRDI portal
The following pages link to Constructivity in mathematics. Proceedings of the colloquium, held at Amsterdam, 1957 (Q770786):
Displaying 7 items.
- Relative and modified relative realizability (Q1849865) (← links)
- Polymorphic extensions of simple type structures. With an application to a bar recursive minimization (Q1919547) (← links)
- A Computable Solution to Partee’s Temperature Puzzle (Q2964003) (← links)
- Peptide Computers (Q3166940) (← links)
- Church's thesis, continuity, and set theory (Q3734400) (← links)
- The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations (Q4075443) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
