J. C. Shepherdson books & textbook
Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)
Hoare, C. A. R. Shepherdson, J. C.
Prentice Hall /1985T Hardcover / 165 Pages
isbn-10: 0135614651 / isbn-13: 9780135614655
American Catholics and Civic Engagement: A Distinctive Voice (Volume 1) (American Catholics in the Public Square, 1)
Steinfels, Margaret O'Brien Steinfels, Peter Abell, W Shepherdson Adams, Kirk Bane, Mary Jo Bole, William Carlin, David Cochran Texas Tech University, Clarke E. Coleman S.J., John A. Dionne Jr. Georgetown University; author of Souled Out and Our Divided Political Heart, E.J. Dolejsi, Edward E. Donnelly, Thomas J. Galston The Brookings Institution, William A. Gonzalez, David Lacey, Michael Leege, David C. Lynch, Dotty Mansbridge, Jane Mueller, Paul D. J. Murnion, Monsignor Philip Moses, Paul O'Beirne, Kate Pope Boston College, Stephen J. Shea, William M. Sweeney, John J. Wycliff, Don
Sheed & Ward /2003-11-05 Hardcover / 320 Pages
isbn-10: 0742531589 / isbn-13: 9780742531581
The Journal of Symbolic Logic, vol. 24, no. 3 (September 1959): Hiż on Extendible Sentential Calculus, etc.
H. Hiż Hugo Ribeiro Michael Dummett Rulon Wells Domenico Parisi Ferruccio Rossi-Landi Edward Poznański Tadeusz Czeżowski Ivo Thomas Alonzo Church Richard Montague Raymond M. Smullyan Gene F. Rose Hugues Leblanc Alfons Borgers Th. Skolem Steven Orey J. W. Addison Elliott Mendelson J. C. Shepherdson Alonzo Church S. C. Kleene Alice A. Lazerowitz Arthur N. Prior Julia Robinson Alfons Borgers W. Ackerman Alan Ross Anderson C. A. Baylis Jonathan F. Bennett
N. V. Erven P. Noordhoff (Groningen, Netherlands) for Association for Symbolic Logic /1959T Journal / 96 Pages
