Finite investigations of transfinite derivations
- 1 October 1978
- journal article
- Published by Springer Nature in Journal of Mathematical Sciences
- Vol. 10 (4) , 548-596
- https://doi.org/10.1007/bf01091743
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Heyting predicate calculus with epsilon symbolJournal of Mathematical Sciences, 1977
- The use of abstract language in elementary metamathematics: Some pedagogic examplesLecture Notes in Mathematics, 1975
- On a Number Theoretic Choice Schema and its Relation to InductionPublished by Elsevier ,1970
- A survey of proof theoryThe Journal of Symbolic Logic, 1968
- Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1954