| Logic. A comprehensive introduction |
S D Guttenplan |
Peter Eggenberger |
1980 |
| Chance, cause, reason. An inquiry into the nature of scientific evidence |
Arthur W. Burks |
Ian Hacking |
1980 |
| Tense logic |
Robert P. McArthur |
Hans Kamp |
1980 |
| History of logic. Volume III |
Anton Dumitriu |
I. Grattan-Guinness |
1980 |
| Introduction to mathematical logic |
Elliott Mendelson |
Don Pigozzi |
1980 |
| A course in mathematical logic |
J L Bell |
Perry Smith |
1980 |
| Logic for mathematicians |
A. G. Hamilton |
W. A. Howard |
1980 |
| Les Mathématiques et la réalité. Essai sur la méthode axiomatique |
Ferdinand Gonseth |
William Craig |
1980 |
| Foundations of mathematical logic. Corrected reprint of XXXVIII 149 |
Haskell B. Curry |
William Craig |
1980 |
| Reason and argument |
P. T. Geach |
Douglas F. Stalker |
1980 |
| Lógica. 0 cálculo de predicados |
Leônidas Hegenberg |
Gregory W. Jones |
1980 |
| Tableau systems for first order number theory and certain higher order theories |
Sue Toledo |
J. I. Zucker |
1980 |
| Formal semantics and logic |
Bas C Van Fraassen |
Richard Butrick |
1980 |
| Modern logic in the service of law |
Ilmar Tammelo |
Nicholas A. Vonneuman |
1980 |
| Introduction to symbolic logic |
Karl J. Smith |
Ian F. Carlstrom |
1980 |
| Philosophy of logics |
Susan Haack |
Gilbert Harman |
1980 |
| Dear Russell -- Dear Jourdaim |
I Grattan-Guiness |
G T Kneebone |
1979-06-01 |
| Mathematical Developments Arising from Hilbert Problems |
Felix E Browder |
C Smorynski |
1979-03-01 |
| Elementary induction on abstract structures |
Yiannis N. Moschovakis |
Wayne Richter |
1979 |
| Mathematical logic |
J. Donald Monk |
Jeffrey B. Remmel |
1979 |
| L. E. J. Brouwer. On the foundations of mathematics. English translation of 1551, with added notes by the editor. L. E. J. Brouwer, collected works, Volume 1, Philosophy and foundations of mathematics |
L E J Brouwer |
Joan Rand Moschovakis |
1979 |
| Dear Russell—dear Jourdain. A commentary on Russell's logic, based on his correspondence with Philip Jourdain |
I. Grattan-Guinness |
G. T. Kneebone |
1979 |
| Investigations in modal and tense logics with application to problems in philosophy and linguistics |
Dov M. Gabbay |
Kit Fine |
1979 |
| An introduction to modal logic, ir. collaboration with Dana Scott, edited by Krister Segerberg |
E. J. Lemmon |
R. A. Bull |
1979 |
| Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom) |
David Hilbert |
C. Smoryński |
1979 |
| A metaphysics of elementary mathematics |
Jeffrey Sicha |
Roy S. Edelstein |
1979 |
| Counterfactuals |
David K. Lewis |
William T. Parry |
1979 |
| Ordinale Deontik. Zusammenhänge zwischen Präferenztheorie, Normlogik und Rechtstheorie |
Thomas Cornides |
Risto Hilpinen |
1979 |
| Choice sequences. A chapter of intuitionistic mathematics |
A. S. Troelstra |
Richard Vesley |
1979 |
| Elementary logic |
Nancy D Simco |
Richard Butrick |
1979 |
| Elements of intuitionism. With the assistance of Roberto Minio |
Michael Dummett |
Nicolas D. Goodman |
1979 |
| Christian Thiel. Einleitung. Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember 1973 |
Christian Thiel, Studien zur Wissenschaftstheorie, vol. 9 |
Matthias Schirn |
1979 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
John T. Baldwin |
1979 |
| Jikan no ronri (Temporal logic) |
Takeo Sugihara |
Tsutomu Hosoi |
1979 |
| Applications of fuzzy sets to systems analysis. Revised English translation of Mulţimi vagi şi aplicaţiile lor |
C. V. Negoiţӑ and D. A. Ralescu |
J. A. Goguen |
1979 |
| Logic: A first course |
Albert E. Blumberg |
Leigh S. Cauman |
1979 |
| Truth-value semantics |
Hugues Leblanc |
J. Michael Dunn |
1978 |
| Elementary symbolic logic |
William Gustason |
James Moor |
1978 |
| Theory of program structures: schemes, semantics, verification |
Sheila A. Greibach |
Robert L. Constable |
1978 |
| Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium |
Peter Aczel |
S. K. Thomason |
1978 |
| Plausible reasoning. An introduction to the theory and practice of plausibilistic inference |
Nicholas Rescher |
Paul W. Humphreys |
1978 |
| Nuel D. BelnapJr., and Thomas B. Steel Jr. The logic of questions and answers |
|
David Harrah |
1978 |
| Computer logic |
Alan Rose |
Richard J. Orgass |
1978 |
| Admissible sets and structures. An approach to definability theory |
Jon Barwise |
Mark Nadel |
1978 |
| Deviant logic. Some philosophical issues |
Susan Haack |
Karel Lambert |
1978 |
| Large infinitary languages. Model theory |
M. A. Dickmann |
Michael Makkai |
1978 |
| Applied nonstandard analysis. Pure and applied mathematics |
Martin Davis |
Lawrence D. Kugler |
1978 |
| Introduction to modern mathematics. English translation of Wstęp do matematyki współczesnej by Olgierd Wojtasiewicz |
Helena Rasiowa |
Angelo Margaris |
1978 |
| A theory of possibility. A constructivistic and conceptualistic account of possible individuals and possible worlds |
Nicholas Rescher |
Glenn Kessler |
1978 |
| Set theory. An introduction to large cardinals |
Frank R. Drake |
Azriel Levy |
1978 |
