Results for: Logic

A note on the Entscheidungsproblem (pp. 40-41) and Correction to A note on the Entscheidungsproblem (pp. 101-102) and Review of A. M. Turing. On Computable numbers, with an application to the Entscheidungsproblem (pp. 42-43) (Church) WITH Finite combinatory processes-formulation I (pp. 103-105) (Post) WITH Computability and lambda-definability (pp. 153-164) and The Ø-Function in lambda-K-Conversion (pp. 164-166) (Turing) in Journal of Symbolic Logic, Volume 1, 1936 AND Volume 2, 1937

Church, Alonzo; Turing, Alan; Post, Emil

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

Add to Cart

Price: $2,500.00

Item Details

Ask a Question

Identity, Variables, and Impredicative Definitions in The Journal of Symbolic Logic, Vol. 21, No. 3, Sept. 1956, pp. 225-245 AND Vicious Circle Principle and the Paradoxes in The Journal of Symbolic Logic, Vol. 22, No. 3, Sept. 1957, pp. 245-249

Hintikka, K. Jaakko J.

The Association of Symbolic Logic. 1st Edition. FIRST EDITION IN ORIGINAL WRAPS, two papers (in two separate issues), of Jaako Hintikka’s systematic investigation of Wittgensteinian predicate logic (W-logic), the first ever performed. Jaakko Hintikka (1929-2015) was a Finnish philosopher known for his work in logic and epistemology. He was awarded..... More

Add to Cart

Price: $450.00

Item Details

Ask a Question

On the Mechanical Performance of Logical Inference in Philosophical Transactions of the Royal Society of London 160, 1870, pp. 497-518 [FIRST PUBLISHED DESCRIPTION OF JEVONS' LOGIC MACHINE OR LOGICAL PIANO]

Jevons, William Stanley

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

Add to Cart

Price: $1,625.00

Item Details

Ask a Question

Outline of a Theory of Truth in The Journal of Philosophy, Col. LXXII, No. 19, Nov. 6, 1975, pp. 690-716

Kripke, Saul

New York: Journal of Philosophy, 1975. 1st Edition. FIRST EDITION IN ORIGINAL WRAPS OF KRIPKE’S “FAMOUS AND HIGHLY INFLUENTIAL PAPER GREATLY [SHAPING] MOST LATER APPROACHES TO THEORIES OF TRUTH AND THE SEMANTIC PARADOXES” (Stanford Encyclopedia of Philosophy, Consequences of the Semantic Paradoxes).In his 1975 article "Outline of a Theory of..... More

Add to Cart

Price: $325.00

Item Details

Ask a Question

A Completeness Theorem in Modal Logic WITH Abstracts of Distinguished Constituents, Semantical Analysis of Modal Logic, The Problem of Entailment in The Journal of Symbolic Logic Vol. 24, Issue No. 1, March 1959 pp. 1-14 WITH Vol. 24, Issue No. 4, Dec. 1959 pp. 323-324 [ORIGINAL WRAPS, SEMINAL PAPER MODAL LOGIC]

Kripke, Saul A.

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

Add to Cart

Price: $1,150.00

Item Details

Ask a Question

Practical Forms of Type Theory in Journal of Symbolic Logic, Volume 13, Number 2, June 1948, pp. 80-95 WITH A Review of Practical Forms in Journal of Symbolic Logic, Volume 14, Number 1, March 1949, p. 182 [ORIGINAL WRAPPERS]

Turing, Alan

Menasha: Association for Symbolic Logic. 1st Edition. TWO FIRST EDITION ISSUES IN ORIGINAL WRAPS. 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..... More

Add to Cart

Price: $1,000.00

Item Details

Ask a Question

Logic

Refine search results