- Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.details
|
|
Abstract First Order Computability.Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (4):758-758.details
|
|
Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.details
|
|
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.details
|
|
Philosophical applications of free logic.Karel Lambert (ed.) - 1991 - New York: Oxford University Press.details
|
|
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
Foundations of Constructive Mathematics.Michael J. Beeson - 1987 - Studia Logica 46 (4):398-399.details
|
|
Polynomial Time Operations in Explicit Mathematics.Thomas Strahm - 1997 - Journal of Symbolic Logic 62 (2):575-594.details
|
|
On Free Description Theory.Bas C. Van Fraassen & Karel Lambert - 1967 - Mathematical Logic Quarterly 13 (15):225-240.details
|
|
Polynomial time operations in explicit mathematics.Thomas Strahm - 1997 - Journal of Symbolic Logic 62 (2):575-594.details
|
|
On Free Description Theory.Bas van Fraassen & Karel Lambert - 1967 - Mathematical Logic Quarterly 13 (15):225-240.details
|
|
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.details
|
|
Existence and description in formal logic.Dana Scott - 1967 - Journal of Symbolic Logic 38 (1):181--200.details
|
|
Philosophical Application of Free Logic.Karel Lambert - 1995 - Studia Logica 54 (3):422-423.details
|
|
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.details
|
|
A simplification of combinatory logic.Nicolas D. Goodman - 1972 - Journal of Symbolic Logic 37 (2):225-246.details
|
|
On Free Description Theory.Bas C. Van Fraassen & Karel Lambert - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (15):225-240.details
|
|
Computation on abstract data types. The extensional approach, with an application to streams.Solomon Feferman - 1995 - Annals of Pure and Applied Logic 81 (1-3):75-113.details
|
|
A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.details
|
|
General Recursion Theory. An Axiomatic Approach.Jens E. Fenstad - 1982 - Journal of Symbolic Logic 47 (3):696-698.details
|
|
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.details
|
|
Foundations of Constructive Mathematics.Michael J. Beeson - 1932 - Springer Verlag.details
|
|
Handbook of Mathematical Logic.Jon Barwise - 1979 - British Journal for the Philosophy of Science 30 (3):306-309.details
|
|
Handbook of Mathematical Logic.Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.details
|
|