Amsterdam: North-Holland Pub. Co. (1970)
Our first aim is to make the study of informal notions of proof plausible. Put differently, since the raison d'étre of anything like existing proof theory seems to rest on such notions, the aim is nothing else but to make a case for proof theory; ...
|Keywords||Intuitionistic mathematics Congresses|
|Categories||categorize this paper)|
|Buy the book||$50.56 used (77% off) $2000.00 new Amazon page|
|Call number||QA9.C742 1968|
References found in this work BETA
No references found.
Citations of this work BETA
The Theory of Empirical Sequences.Carl J. Posy - 1977 - Journal of Philosophical Logic 6 (1):47 - 81.
Creative Subject, Beth Models and Neighbourhood Functions.Victor N. Krivtsov - 1996 - Archive for Mathematical Logic 35 (2):89-102.
Similar books and articles
Intuitionistic Mathematics and Wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis.A. S. Troelstra - 1973 - New York: Springer.
The L.E.J. Brouwer Centenary Symposium: Proceedings of the Conference Held in Noordwijkerhout, 8-13 June 1981.L. E. J. Brouwer, A. S. Troelstra & D. van Dalen (eds.) - 1982 - Elsevier.
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980. [REVIEW]Fred Richman (ed.) - 1981 - Springer Verlag.
Intuitionistic Mathematics Does Not Needex Falso Quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Added to index2009-01-28
Total downloads10 ( #423,815 of 2,153,497 )
Recent downloads (6 months)1 ( #399,080 of 2,153,497 )
How can I increase my downloads?