| Karel Lambert and Gordon G. Brittan Jr. An introduction to the philosophy of science |
Karel Lambert |
Paul Teller |
1982 |
| Logic for problem solving |
Robert Kowalski |
Donald W. Loveland |
1982 |
| Ontology and the vicious-circle principle |
Charles S. Chihara |
Leslie H. Tharp |
1982 |
| Advanced logic for applications |
Richard E. Grandy |
Neil Tennant |
1982 |
| Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. Volume II. Theorie und Erfahrung. Second part. Theorienstrukturen und Theoriendynamik |
Wolfgang Stegmüller |
David Pearce |
1982 |
| Logic and arithmetic. Volume 1. Natural numbers |
David Bostock |
Michael D. Resnik |
1982 |
| Practical logic. With an appendix by Zdzisław Ziemba |
Zygmunt Ziembinski |
A. Bayart |
1982 |
| The new elements of mathematics. Volume III parts 1 and 2. Mathematical miscellanea. Edited by Carolyn Eisele |
Charles S. Peirce |
Jay Zeman |
1982 |
| Unsolvable classes of quantificational formulas |
Harry R. Lewis |
Dieter Rödding |
1982 |
| Edited and with an introduction by Jerzy Giedymin |
The scientific world-perspective and other essays, 1931–1963, by Kazimierz Ajdukiewicz |
C. Lejewski |
1982 |
| Discrete Mathematics |
Leonard S Borrow |
Calvin C Elgot |
1981-12-01 |
| Rational Belief Systems |
Brian Ellis |
Ralph Kennedy |
1981-09-01 |
| Elementary Calculus |
H Jerome Keisler |
Peter A Loeb |
1981-09-01 |
| Foundations of Infinitesimal Calculus |
H Jerome Keisler |
Peter A Loeb |
1981-09-01 |
| Fundamentals of contemporary set theory. Universitext |
Keith J. Devlin |
Rolando Chuaqui |
1981 |
| Modal logic. An introduction |
Brian F. Chellas |
David Makinson |
1981 |
| Lauri Karttunen and Stanley Peters. Conventional implicature. Syntax and semantics, Volume 11, Presupposition |
Oh Choon-Kyu |
Tyler Burge |
1981 |
| F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors |
F William Lawvere |
M. E. Szabo |
1981 |
| Model theory for modal logic. Kripke models for modal predicate calculi |
Kenneth A. Bowen |
Rob Goldblatt |
1981 |
| Multiple-conclusion logic |
D. J. Shoesmith and T. J. Smiley |
Ronald Harrop |
1981 |
| Elements of set theory |
Herbert B. Enderton |
Kenneth Kunen |
1981 |
| Semiotics and linguistic structure. A primer of philosophic logic |
R. M. Martin |
Rita Nolan |
1981 |
| Introduction |
Eike-Henner W. Kluge |
Howard Jackson |
1981 |
| The ontology of William of Ockham |
Michael J. Loux |
John Corcoran |
1981 |
| Basic set theory |
Azriel Levy |
William Mitchell |
1981 |
| Edited by Peter Geach and Max Black |
Translations from the philosophical writings of Gottlob Frege |
Charles Parsons |
1981 |
| Boolean-valued models and independence proofs in set theory |
J. L. Bell |
Thomas Jech |
1981 |
| Set theory. Pure and applied mathematics |
Thomas Jech |
Keith J. Devlin |
1981 |
| Phenomenology and logic |
Robert S. Tragesser |
David Woodruff Smith |
1981 |
| Subjunctive reasoning |
John L. Pollock |
Timothy McCarthy |
1981 |
| Beginning logic. Edited by George W. D. Berry. A revised reprint of XL 287(16) |
E J Lemon |
Sarah Stebbins |
1981 |
| Truth probability and paradox. Studies in philosophical logic |
J. L. Mackie |
John T. Kearns |
1981 |
| An introduction to the general theory of algorithms |
Michael Machtey |
Nancy Lynch |
1981 |
| Les fondements des mathematiques. De la géometrie d'Euclide à la relativé générate et à l'intuitionisme. A reprint of 3411 |
Ferdinand Gonseth |
Peter Eggenberger |
1981 |
| The unprovability of consistency. An essay in modal logic |
George Boolos |
C Smorynski |
1981 |
| Nonarchimedean fields and asymptotic expansions |
A H Lightstone |
C. Ward Henson |
1981 |
| Ian Hacking |
|
Richard E. Grandy |
1981 |
| Leonard S. Bobrow and Michael A. Arbib |
|
Calvin C. Elgot |
1981 |
| Descriptive set theory |
Yiannis N. Moschovakis |
Richard Mansfield |
1981 |
| Willard van Orman Quine |
Alex Orenstein |
Joseph S Ullian |
1980-06-01 |
| Selected Works of Giuseppe Peano |
Giuseppe Peano |
Warren D Goldfarb |
1980-03-01 |
| The linguistic basis of logic translation |
Herbert R. Otto |
Robert L. Causey |
1980 |
| Logic for mathematicians |
J. Barkley Rosser |
H. B. Enderton |
1980 |
| Logic: its use and basis |
H. G. Bohnert |
Leigh S. Cauman |
1980 |
| Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt |
Hans Hermes |
Don Pigozzi |
1980 |
| Lógica. 0 cálculo sentencial |
Leônidas Hegenberg |
Gregory W. Jones |
1980 |
| Forcing, arithmetic, division rings |
J Hirschfeld |
H. Simmons |
1980 |
| Automated theorem proving. A logical basis. Fundamental studies in computer science, vol |
Donald W. Loveland |
J. A. Robinson |
1980 |
| Logic |
D M R Leivant |
G E Minc |
1980 |
| Einführung in die Logik |
Wilhelm K. Essler |
G. Hasenjaeger |
1980 |
