| Handbook of mathematical logic |
Jon Barwise |
Akihiro Kanamori |
1984 |
| Infinitesimalkalkül |
Detlef Laugwitz |
H J M Boston |
1983-03-01 |
| An outline of the logical theory of questions |
Tadeusz Kubiński |
David Harrah |
1983 |
| The logic of common nouns. An investigation in quantified modal logic |
Anil Gupta |
Frank Vlach |
1983 |
| Recursion-theoretic hierarchies |
Peter G. Hinman |
Wayne Richter |
1983 |
| An outline of mathematical logic. Fundamental results and notions explained with all details. English translation by Olgierd Wojtasiewicz and Wacław Zawadowski of the second edition of Zarys logiki matematycznej |
Andrzej Grzegorczyk |
E G K López-escobar |
1983 |
| L. A. S. Kirby and J. B. Paris. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976 |
A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619 |
Stephen G. Simpson |
1983 |
| Peano. Life and works of Giuseppe Peano. Studies in the history of modern science, vol |
Hubert C. Kennedy |
Piergiorgio Odifreddi |
1983 |
| Gödel, Escher, Bach: an eternal golden braid |
Douglas R. Hofstadter |
Judson C. Webb |
1983 |
| La logique au service du droit. Étude de logique contemporaine pour une meilleure communication de la pensée juridique |
Paul-Henri Steinauer |
Jan Woleński |
1983 |
| Brouwer's Cambridge lectures on intuitionism. Edited by D. van Dalen |
L. E. J. Brouwer |
R. J. Grayson |
1983 |
| Linear orderings |
Joseph G. Rosenstein |
Dale Myers |
1983 |
| Natural logic |
Neil Tennant |
Wilfried Sieg |
1983 |
| Computers and intractability |
Michael R Garey |
Harry R. Lewis |
1983 |
| M. P. Fourman and D. S. Scott. Sheaves and logic. Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 |
M. P. Fourman, C. J. Mulvey, and D. S. Scott, Lecture notes in mathematics, vol. 753 |
Dirk van Dalen |
1983 |
| Word meaning and Montague grammar. The semantics of verbs and times in generative semantics and in Montague's PTQ. Synthese language library, vol |
David R. Dowty |
F. Guenthner |
1983 |
| The New Elements of Mathematics, V4 |
Charles S Peirce |
Jay Zeman |
1982-09-01 |
| The New Elements of Mathematics, V3 |
Charles S Peirce |
Jay Zeman |
1982-09-01 |
| Georg Canton, His Mathematics and Philosophy of the Infinite |
Joseph Warren Dauben |
Arnold Oberschelp |
1982-06-01 |
| The Nature of Causation |
Myles Brand |
Frank Jackson |
1982-06-01 |
| Nonstandard Analysis and Philosophy, v2 |
W A J Luxemburg |
Martin Davis |
1982-03-01 |
| The logic of inconsistency. A study in non-standard possible-world semantics and ontology |
Nicholas Rescher |
David Makinson |
1982 |
| Ontological economy: substitutional quantification and mathematics |
Dale Gottlieb |
T. S. Weston |
1982 |
| Algebra of proofs |
M. E. Szabo |
G. E. Minc |
1982 |
| Topoi. The categorial analysis of logic |
Robert Goldblatt |
Philip J. Scott |
1982 |
| Classification theory and the number of nonisomorphic models |
S. Shelah |
Victor Harnik |
1982 |
| The decision problem. Solvable classes of quantificational formulas |
Burton Dreben |
Peter B. Andrews |
1982 |
| Meaning and modality |
Casimir Lewy |
C. Anthony Anderson |
1982 |
| Popular lectures on mathematical logic |
Wang Hao |
H. Hermes |
1982 |
| The logic book |
M Bergmann |
Christopher S. Hill |
1982 |
| Mathematical knowledge. Contemporary philosophy |
Mark Steiner |
Michael Jubien |
1982 |
| Universal algebra |
George Grätzer |
Heinrich Werner |
1982 |
| Volume 2. Nonstandard analysis and philosophy. Edited and with an introduction by W. A. J. Luxemburg and S. Körner |
Selected papers of Abraham Robinson |
Martin Davis |
1982 |
| Proof theory. Revised English translation by J. N. Crossley of XXV 243 |
Kurt Schütte |
W. A. Howard |
1982 |
| Evolving theories. With a foreword by Hugues Leblanc |
Raymond D. Gumb |
William H. Hanson |
1982 |
| Constructive functional analysis |
D. S. Bridges |
Fred Richman |
1982 |
| Robert Vaught. Descriptive set theory in Lω,1ω, Cambridge summer school in mathematical logic, held in Cambridge/England, August 1–21, 1971 |
A.R.D. Mathias and H. Rogers, Lecture notes in mathematics, vol. 337 |
John P. Burgess |
1982 |
| Fuzzy sets and systems. Theory and applications. Mathematics in science and engineering |
Didier Dubois |
I Grttan-Guinness |
1982 |
| Selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason |
Formal Philosophy |
Jon Barwise |
1982 |
| Georg Cantor, his mathematics and philosophy of the infinite |
Joseph Warren Dauben |
Arnold Oberschelp |
1982 |
| First-order dynamic logic |
David Harel |
Jerzy Tiuryn |
1982 |
| Decidability and generalized quantifiers. Mathematical research-Mathematische Forschung, vol |
Andreas Baudisch |
John Cowles |
1982 |
| General recursion theory. An axiomatic approach |
Jens E. Fenstad |
Douglas Cenzer |
1982 |
| Frege and the philosophy of mathematics |
Michael D. Resnik |
Clifton McIntosh |
1982 |
| Equational logic. Houston journal of mathematics, survey 1979 |
Walter Taylor |
Heinrich Werner |
1982 |
| Topos theory |
P. T. Johnstone |
Robert Seely |
1982 |
| Topics in conditional logic |
Donald Nute |
Gary M. Hardegree |
1982 |
| Foreword, 1980 |
Willard van Orman Quine |
Frederic B. Fitch |
1982 |
| Infinitary combinatorics and the axiom of determinateness |
Eugene M. Kleinberg |
Howard Becker |
1982 |
| Model theoretic algebra. Selected topics |
Greg Cherlin |
Ulrich Felgner |
1982 |
