| Topoi. The categorial analysis of logic |
Robert Goldblatt |
Philip J. Scott |
The Journal of Symbolic Logic |
1982 |
| Classification theory and the number of nonisomorphic models |
S. Shelah |
Victor Harnik |
The Journal of Symbolic Logic |
1982 |
| The decision problem. Solvable classes of quantificational formulas |
Burton Dreben |
Peter B. Andrews |
The Journal of Symbolic Logic |
1982 |
| Meaning and Modality |
Casimir Lewy |
C. Anthony Anderson |
The Journal of Symbolic Logic |
1982 |
| Popular lectures on mathematical logic |
Wang Hao |
H. Hermes |
The Journal of Symbolic Logic |
1982 |
| The logic book |
M Bergmann |
Christopher S. Hill |
The Journal of Symbolic Logic |
1982 |
| Mathematical knowledge. Contemporary philosophy |
Mark Steiner |
Michael Jubien |
The Journal of Symbolic Logic |
1982 |
| Universal algebra |
George Grätzer |
Heinrich Werner |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1982 |
| Proof theory. Revised English translation by J. N. Crossley of XXV 243 |
Kurt Schütte |
W. A. Howard |
The Journal of Symbolic Logic |
1982 |
| Evolving theories. With a foreword by Hugues Leblanc |
Raymond D. Gumb |
William H. Hanson |
The Journal of Symbolic Logic |
1982 |
| Constructive functional analysis |
D. S. Bridges |
Fred Richman |
The Journal of Symbolic Logic |
1982 |
| A. R. D. Mathias |
|
John P. Burgess |
The Journal of Symbolic Logic |
1982 |
| Fuzzy sets and systems. Theory and applications. Mathematics in science and engineering |
Didier Dubois |
I Grttan-Guinness |
The Journal of Symbolic Logic |
1982 |
| Selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason |
Formal Philosophy |
Jon Barwise |
The Journal of Symbolic Logic |
1982 |
| Georg Cantor: His Mathematics and Philosophy of the Infinite |
Joseph Warren Dauben |
Arnold Oberschelp |
The Journal of Symbolic Logic |
1982 |
| First-order dynamic logic |
David Harel |
Jerzy Tiuryn |
The Journal of Symbolic Logic |
1982 |
| Decidability and generalized quantifiers. Mathematical research-Mathematische Forschung, vol |
Andreas Baudisch |
John Cowles |
The Journal of Symbolic Logic |
1982 |
| General recursion theory. An axiomatic approach |
Jens E. Fenstad |
Douglas Cenzer |
The Journal of Symbolic Logic |
1982 |
| Frege and the Philosophy of Mathematics |
Michael D. Resnik |
Clifton McIntosh |
The Journal of Symbolic Logic |
1982 |
| Equational logic. Houston journal of mathematics, survey |
Walter Taylor |
Heinrich Werner |
The Journal of Symbolic Logic |
1982 |
| Topos theory |
P. T. Johnstone |
Robert Seely |
The Journal of Symbolic Logic |
1982 |
| Topics in conditional logic |
Donald Nute |
Gary M. Hardegree |
The Journal of Symbolic Logic |
1982 |
| Foreword |
Willard van Orman Quine |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1982 |
| Infinitary combinatorics and the axiom of determinateness |
Eugene M. Kleinberg |
Howard Becker |
The Journal of Symbolic Logic |
1982 |
| Model theoretic algebra. Selected topics |
Greg Cherlin |
Ulrich Felgner |
The Journal of Symbolic Logic |
1982 |
| Karel Lambert and Gordon G. Brittan Jr. An introduction to the philosophy of science |
Karel Lambert |
Paul Teller |
The Journal of Symbolic Logic |
1982 |
| Logic for problem solving |
Robert Kowalski |
Donald W. Loveland |
The Journal of Symbolic Logic |
1982 |
| Ontology and the Vicious Circle Principle |
Charles S. Chihara |
Leslie H. Tharp |
The Journal of Symbolic Logic |
1982 |
| Advanced logic for applications |
Richard E. Grandy |
Neil Tennant |
The Journal of Symbolic Logic |
1982 |
| Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. Volume II. Theorie und Erfahrung. Second part. Theorienstrukturen und Theoriendynamik |
Wolfgang Stegmüller |
David Pearce |
The Journal of Symbolic Logic |
1982 |
| Logic and arithmetic. Volume 1. Natural numbers |
David Bostock |
Michael D. Resnik |
The Journal of Symbolic Logic |
1982 |
| Practical logic. With an appendix by Zdzisław Ziemba |
Zygmunt Ziembinski |
A. Bayart |
The Journal of Symbolic Logic |
1982 |
| The new elements of mathematics. Volume III parts 1 and 2. Mathematical miscellanea. Edited by Carolyn Eisele |
Charles S. Peirce |
Jay Zeman |
The Journal of Symbolic Logic |
1982 |
| Unsolvable classes of quantificational formulas |
Harry R. Lewis |
Dieter Rödding |
The Journal of Symbolic Logic |
1982 |
| The Scientific World-Perspective and Other Essays, 1931-1963 |
Kazimierz Ajdukiewicz |
C. Lejewski |
The Journal of Symbolic Logic |
1982 |
| Discrete Mathematics |
Leonard S Borrow |
Calvin C Elgot |
The Journal of Symbolic Logic |
1981-12-01 |
| Rational Belief Systems |
Brian Ellis |
Ralph Kennedy |
The Journal of Symbolic Logic |
1981-09-01 |
| Elementary Calculus |
H Jerome Keisler |
Peter A Loeb |
The Journal of Symbolic Logic |
1981-09-01 |
| Foundations of Infinitesimal Calculus |
H Jerome Keisler |
Peter A Loeb |
The Journal of Symbolic Logic |
1981-09-01 |
| Fundamentals of contemporary set theory. Universitext |
Keith J. Devlin |
Rolando Chuaqui |
The Journal of Symbolic Logic |
1981 |
| Modal Logic: An Introduction |
Brian F. Chellas |
David Makinson |
The Journal of Symbolic Logic |
1981 |
| Lauri Karttunen and Stanley Peters. Conventional implicature. Syntax and semantics, Volume 11, Presupposition |
Oh Choon-Kyu |
Tyler Burge |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1981 |
| Model theory for modal logic. Kripke models for modal predicate calculi |
Kenneth A. Bowen |
Rob Goldblatt |
The Journal of Symbolic Logic |
1981 |
| Multiple-conclusion logic |
D. J. Shoesmith and T. J. Smiley |
Ronald Harrop |
The Journal of Symbolic Logic |
1981 |
| Elements of set theory |
Herbert B. Enderton |
Kenneth Kunen |
The Journal of Symbolic Logic |
1981 |
| Semiotics and linguistic structure. A primer of philosophic logic |
R. M. Martin |
Rita Nolan |
The Journal of Symbolic Logic |
1981 |
| Introduction |
Eike-Henner W. Kluge |
Howard Jackson |
The Journal of Symbolic Logic |
1981 |
| The ontology of William of Ockham |
Michael J. Loux |
John Corcoran |
The Journal of Symbolic Logic |
1981 |
