New Haven, CT: Yale University Press, 1976. First edition. Hardcover. 8vo. [4], v-vi, [2], 1-209, [7] pp. Bound in black cloth with gold lettering on the spine. Also includes a bibliography of The Theory of Questions and Answers by Urs Egli and Hubert Schleichert. Slater 76. A nice example of..... More
Oxford: Clarendon Press, 1987. First edition. Hardcover. 8vo. [5], vi-xi, [4], 4-198, [6] pp. Navy cloth over boards with gold lettering on the boards and the spine, Oxford Science Publications device in gilt on the front board. Volume 13 in the Oxford Logic Guides series. Series editors Dana Scott and..... More
New York: Springer-Verlag [1990], 1990. First edition. Hardcover. 8vo. [7], viii-xiii, [4], 2-242, [6] pp. Silver colored paper over boards, no dust jacket (following Springer's custom during the period). A sharp example of this book, one of the earliest introductions to classical logic from the perspective of automated theorem proving..... More
Oxford: Oxford University Press (2009), 2009. First edition. Hardcover. 8vo. [7], viii-xv, [2], 2-433, [7] pp. Navy cloth over boards with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gilt on the spine. Volume 51 in the Oxford Logic Guides..... More
Oxford: Clarendon Press, 2004. First edition. Hardcover. 8vo. [5], vi-xv, [4], 2-208, [4] pp. Navy cloth over boards with gold lettering on the boards and the spine, publisher's device in blind on the front board and in gilt on the spine, single gilt rule on the front board with three..... More