Search ResultsElectronic Resources 
by
Logic Colloquium (1976 : Oxford)
ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format:
Excerpt:
functions of higher type; Chapter 19 Aspects of constructivity in mathematics; Chapter 20 The model C of the

Select an Action





