HANDSOMELY BOUND FULL VOLUME FIRST EDITION of George Boole’s first paper on probability, marking his earliest published work on a subject he would continue to develop until in 1854 he published his highly influential  An Investigation of The Laws of Thought on which are founded the Mathematical Theories of Logic..... More about "On the Theory of Probabilities, and in particular on Mitchell's Problem of the Distribution...

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 about “Identity, Variables, and Impredicative Definitions” in The Journal of Symbolic Logic, Vol....

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 about “Outline of a Theory of Truth” in The Journal of Philosophy, Col. LXXII, No. 19, Nov. 6,...

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 about "Practical Forms of Type Theory" in Journal of Symbolic Logic, Volume 13, Number 2,...