*The Journal of Symbolic Logic*. Volumes 1-30 (missing vol 18 for 1953—containing the Chomsky paper-- otherwise complete in the first 30 volumes for the journal's first thirty years). Published by the Association for Symbolic Logic, all of the run to the year 1958 are reprints—and since the bindings are from the late 1960s/early 1970s, the reprints themselves are not new at all. Most issues have wrappers, which are also reprinted, though for some time I was not convinced of their reprinted nature (after all, why go through that added expense etc.?), though now I am. The later volumes—from 1958 to 1965, are original with original wrappers bound in. Uncommon. $1750

This is perhaps the premier publication for exceptional work in mathem,atical logic. Bound in cream-colored cloth. Ex-library, with a few internal stamps; there are library call numbers imprinted on the spine bottom. Very fresh, and very little used, evidently. Nearly every issue includes wrapper bound in.

Edited by Church, Alonzo, C. H. Langford, Ernest Nagel, Max Black, Leon Henkin, S. C. Kleene, Alice Lazerowitz, the journal for these years includes contributions of very high significance by Emil Post (“Finite Combinatory Processes: Formulation”, 1936); Alonzo Church, (“An unsolvable problem in elementary number theory”, 1936); Saul A. Kripke, (“A Completeness Theorem in Modal Logic”, 1959); Turing, (“Computability and Lambda-Definability”; Alfred Tarski, "On The Calculus Of Relations" (1948); S.C. Kleene, “On Notation for Ordinal Numbers”; Hintikka (Hintikka's transformation rules), “Identity, Variables, and Impredicative Definitions + Vicious Circle Principles and the Paradoxes”; Max Newman and Alan Turing, “A formal theorem in Church's theory of types”, (1942); Raymond Smullyan (the contemporary understanding of Goedel's theorem) “Languages in which Self-reference is Possible”; Rudolph Carnap, “Modalities and quantification” (1946); Frederick Fitch, (Fitch's paradox of knowability)**, “**A Logical Analysis of Some Value Concepts. (1963) (with original wrappers); John Pollock, “Basic Modal Logic”; Hillary Putnam. “An Unsolvable Problerm in Number Theory” (1965); and many others.