| Boole's logic and probability. A critial exposition from the standpoint of contemporary algebra, logic and probability theory |
Theodore Hailperin |
N. T. Gridgeman |
The Journal of Symbolic Logic |
1985 |
| Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21 |
M. P. Fourman |
D. van Dalen |
The Journal of Symbolic Logic |
1985 |
| Degrees of unsolvability. Local and global theory |
Manuel Lerman |
Carl G Jockusch Jr |
The Journal of Symbolic Logic |
1985 |
| Frege's Theory of Judgement |
David Bell |
Howard Jackson |
The Journal of Symbolic Logic |
1985 |
| Being and Meaning: Paul Tillich's Theory of Meaning, Truth and Logic |
Ian E. Thompson |
Calvin O. Schrag |
Journal of the British Society for Phenomenology |
1984-01-01 |
| The theory of semisets |
Petr Vopenka |
Azriel Levy |
The Journal of Symbolic Logic |
1984 |
| Ockham's theory of truth conditions |
Alfred J. Freddoso |
John Corcoran |
The Journal of Symbolic Logic |
1984 |
| Mathematics in the alternative set theory |
Petr Vopenka |
Azriel Levy |
The Journal of Symbolic Logic |
1984 |
| Peter Aczel. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki |
Per Martin-Löf |
Wim Veldman |
The Journal of Symbolic Logic |
1984 |
| Introduction to mathematical logic. Set theory, computable functions, model theory |
Jerome Malitz |
P. Eklof |
The Journal of Symbolic Logic |
1984 |
| Axiomatic set theory, Impredicative theories of classes |
Rolando Basim Chuaqui |
F. R. Drake |
The Journal of Symbolic Logic |
1984 |
| Being and Meaning: Paul Tillich's Theory of Meaning, Truth and Logic |
Ian E. Thompson |
Frederick M. Jelly |
The Thomist: A Speculative Quarterly Review |
1983-01-01 |
| An outline of the logical theory of questions |
Tadeusz Kubiński |
David Harrah |
The Journal of Symbolic Logic |
1983 |
| Set theory and hierarchy theory V, Bierutowice, Poland |
A. Lachlan |
Stephen G. Simpson |
The Journal of Symbolic Logic |
1983 |
| Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21 |
M. P. Fourman |
Dirk van Dalen |
The Journal of Symbolic Logic |
1983 |
| The Theory of Indistinguishables |
A F Parker-Rhodes |
C W Kilmister |
History and Philosophy of Logic |
1982-01-01 |
| Classification theory and the number of nonisomorphic models |
S. Shelah |
Victor Harnik |
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 |
| Fuzzy sets and systems. Theory and applications. Mathematics in science and engineering |
Didier Dubois |
I Grttan-Guinness |
The Journal of Symbolic Logic |
1982 |
| General recursion theory. An axiomatic approach |
Jens E. Fenstad |
Douglas Cenzer |
The Journal of Symbolic Logic |
1982 |
| Topos theory |
P. T. Johnstone |
Robert Seely |
The Journal of Symbolic Logic |
1982 |
| Fundamentals of contemporary set theory. Universitext |
Keith J. Devlin |
Rolando Chuaqui |
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 |
| Elements of set theory |
Herbert B. Enderton |
Kenneth Kunen |
The Journal of Symbolic Logic |
1981 |
| Basic Set Theory |
Azriel Levy |
William Mitchell |
The Journal of Symbolic Logic |
1981 |
| Boolean-valued models and independence proofs in set theory |
J. L. Bell |
Thomas Jech |
The Journal of Symbolic Logic |
1981 |
| Set theory. Pure and applied mathematics |
Thomas Jech |
Keith J. Devlin |
The Journal of Symbolic Logic |
1981 |
| An introduction to the general theory of algorithms |
Michael Machtey |
Nancy Lynch |
The Journal of Symbolic Logic |
1981 |
| Descriptive set theory |
Yiannis N. Moschovakis |
Richard Mansfield |
The Journal of Symbolic Logic |
1981 |
| The Young Darwin and His Cultural Circle. A study of influences which helped shape the language and logic of the first drafts of the theory of natural selection |
E. Manier |
M. J. S. Hodge |
The British Journal for the Philosophy of Science |
1980-03-01 |
| Tractatus de suppositionibus. Series: Grammatica Speculativa. Theory of Language and Logic in the Middle Ages; volume 2 |
Vincent Ferrer |
E. P. Bos |
Vivarium |
1980-01-00 |
| Tableau systems for first order number theory and certain higher order theories |
Sue Toledo |
J. I. Zucker |
The Journal of Symbolic Logic |
1980 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
John T. Baldwin |
The Journal of Symbolic Logic |
1979 |
| Theory of program structures: schemes, semantics, verification |
Sheila A. Greibach |
Robert L. Constable |
The Journal of Symbolic Logic |
1978 |
| Plausible reasoning. An introduction to the theory and practice of plausibilistic inference |
Nicholas Rescher |
Paul W. Humphreys |
The Journal of Symbolic Logic |
1978 |
| Admissible sets and structures. An approach to definability theory |
Jon Barwise |
Mark Nadel |
The Journal of Symbolic Logic |
1978 |
| Large infinitary languages. Model theory |
M. A. Dickmann |
Michael Makkai |
The Journal of Symbolic Logic |
1978 |
| A Theory of Possibility |
Nicholas Rescher |
Glenn Kessler |
The Journal of Symbolic Logic |
1978 |
| Set Theory: An Introduction to Large Cardinals |
Frank R. Drake |
Azriel Levy |
The Journal of Symbolic Logic |
1978 |
| Word Problems, Decision Problems and the Burnside Problem in Group Theory |
William W Boone |
C R J Clapham |
The Journal of Symbolic Logic |
1976-12-01 |
| Contemporary Research in the Foundations and Philosophy of Quantum Theory |
C A Hooker |
X |
International Logic Review |
1976-06-01 |
| Model theory |
C. C. Chang and H. J. Keisler |
Gebhard Fuhrken |
The Journal of Symbolic Logic |
1976 |
| Model theory |
H J Keisler |
Gebhard Fuhrken |
The Journal of Symbolic Logic |
1976 |
| Set theory |
Charles C. Pinter |
Paul C. Eklof |
The Journal of Symbolic Logic |
1976 |
| The theory of ultrafilters |
W W Comfort |
Andreas Blass |
The Journal of Symbolic Logic |
1976 |
| Set theory |
Shwu-Yeng T Lin |
Martin Helling |
The Journal of Symbolic Logic |
1976 |
| Foundations of the Logical Theory of Scientific Knowledge (Complex Logic) |
A A Zinov'ev |
Trygg A Ager |
International Studies in Philosophy |
1975-09-01 |
| Recursive function theory and logic |
Ann Yasuhara |
Oseph S. Ullian |
The Journal of Symbolic Logic |
1975 |
| Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
Richard Mansfield |
The Journal of Symbolic Logic |
1975 |
