Ezequiel Birman (he/him)'s books

All books Public 470 books (showing 421-435)

Filters Filters are applied Clear filters
Cover Title Author
J. Roger Hindley: Introduction to combinatory logic (1972, University Press)Introduction to combinatory logic
Haskell B. Curry: Foundations of mathematical logic. (1963, McGraw-Hill)Foundations of mathematical logic.
Haskell B. Curry: Studies in Logic and the Foundations of Mathematics, 65 (1972, Elsevier)Studies in Logic and the Foundations of Mathematics, 65
Stephen Cole Kleene: Mathematical Logic (2002, Dover Publications)Mathematical Logic
Stephen Cole Kleene: Introduction to metamathematics (1971, Wolters-Noordhoff, North-Holland, American Elsevier Pub. Co.)Introduction to metamathematics
No cover

Alonzo Church, Tyler Burge, Herbert Enderton, Michael Zeleny: Collected Works of Alonzo Church (2019, MIT Press)

Collected Works of Alonzo Church, , ,
Greg Michaelson: An introduction to functional programming through Lambda calculus (2011, Dover Publications)An introduction to functional programming through Lambda calculus
No cover

Sergei Artemov, Melvin Fitting: Justification Logic (2019, Cambridge University Press)

Justification Logic,
World Congress on Paraconsistency (3rd 2003 Toulouse, France): Handbook of paraconsistency (2007, College publications)Handbook of paraconsistency
Edsger Wybe Dijkstra: A discipline of programming (1976, Prentice-Hall)A discipline of programming
Gottlob Frege, Joachim Schulte: Die Grundlagen der Arithmetik. (German language, 1987, Reclam, Ditzingen)Die Grundlagen der Arithmetik.,
Jon Barwise, Jean Mark Gawron, Gordon Plotkin: Situation Theory and Its Applications, Volume 2 (Center for the Study of Language and Information - Lecture Notes) (1992, Center for the Study of Language and Inf)Situation Theory and Its Applications, Volume 2 (Center for the Study of Language and Information - Lecture Notes), ,
Mads Tofte, G. Plotkin, Colin P. Stirling: Proof, Language, and Interaction (2000, The MIT Press)Proof, Language, and Interaction, ,
Willard Van Orman Quine: Set Theory and Its Logic (2004, Belknap Press)Set Theory and Its Logic
Federico Biancuzzi, Shane Warden: Masterminds of Programming (2008, O'Reilly Media, Inc.)Masterminds of Programming,