1937. 1st Edition. FIRST EDITION OF A COLLECTION OF LANDMARK PAPERS, here housed together in Volumes 1 and 2 of The Journal of Symbolic Logic. Collectively, the volumes contain some of the most important contributions to the fields of mathematical and computational mathematics ever written. The first and second papers..... More

HANDSOMELY BOUND, FULL VOLUME FIRST EDITION & “FIRST PUBLISHED DESCRIPTION” OF [JEVONS’] LOGIC MACHINE, often called a ‘logical piano’ because of its resemblance to that instrument” (The Origins of Cyberspace, 137). Jevons’ machine was the first logic machine with enough power to solve complicated problems with superhuman speed” – in..... More

Princeton: Association for Symbolic Logic, 1959. 1st Edition. FIRST EDITION, FIRST IMPRESSION IN PRISTINE ORIGINAL WRAPS OF SAUL KRIPKE’S SEMINAL FIRST PAPER ON MODAL LOGIC, “A Completeness Theorem in Modal Logic”. The paper presents Kripke’s important ideas on the semantics of modal logic, or the logic of modal notions like..... More

Menasha: Association for Symbolic Logic. 1st Edition. TWO VOLUMES, BOUND FIRST EDITIONS. In "Practical Forms of Type Theory," Alan Turing wished to "encourage 'mathematicians-in-the-street' to use notation and forms of argument which would safeguard their work from ambiguity and inconsistency; but to do this without forcing their work into the..... More