| Proof theory and logical complexity |
Jean-Yves Girard |
Helmut Pfeiffer |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Charles B. Cross |
The Journal of Symbolic Logic |
1989 |
| G. Mirkowska and A. Salwicki |
|
E. Engeler |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Lenore D. Zuck |
The Journal of Symbolic Logic |
1989 |
| Notes on logic and set theory |
Roger C Lyndon |
Jerome I. Malitz |
The Journal of Symbolic Logic |
1989 |
| Handbook of philosophical logic, Volume II, Extensions of classical logic |
D. Gabbay |
Steven T. Kuhn |
The Journal of Symbolic Logic |
1989 |
| Die Grundlagen der Arithmetik |
Gottlob Frege |
Matthias Schirn |
The Journal of Symbolic Logic |
1988-09-01 |
| Zahlen und Kontinuum |
Detlef Laugwitz |
H Osswald |
The Journal of Symbolic Logic |
1988-06-01 |
| Der Formalismus und Seine Grenzen |
Rosemarie Rheinwald |
Steven J Wagner |
The Journal of Symbolic Logic |
1988-06-01 |
| Husserls Philosophie der Mathematik |
Roger Schmit |
Robert Tragesser |
The Journal of Symbolic Logic |
1988-06-01 |
| Deduction: Introductory Symbolic Logic |
Daniel Bonevac |
Billy Joe Lucas |
Teaching Philosophy |
1988-06-01 |
| Husserls Philosophie der Mathematik |
Roger Schmit |
Robert Tragesser |
The Journal of Symbolic Logic |
1988-06-01 |
| Problems, Functions and Semantic Roles |
E M Barth |
Barbara Abbott |
The Journal of Symbolic Logic |
1988-03-01 |
| Mathematics in Philosophy: Selected Essays |
Charles Parsons |
Stewart Shapiro |
The Journal of Symbolic Logic |
1988-03-01 |
| Computational limitations of small-depth circuits |
Johan Håstad |
Stuart A. Kurtz |
The Journal of Symbolic Logic |
1988 |
| Reasoning with arbitrary objects |
Kit Fine |
John Macnamara |
The Journal of Symbolic Logic |
1988 |
| Philosophy of logic |
W. V. Quine |
Michael Jubien |
The Journal of Symbolic Logic |
1988 |
| Combinatorial set theory: partition relations for cardinals |
Paul Erdös, András Hajnal, Attila Máté, and Richard Rado |
Neil H. Williams |
The Journal of Symbolic Logic |
1988 |
| Artificial Intelligence: The Very Idea |
John Haugeland |
Ira Pohl |
The Journal of Symbolic Logic |
1988 |
| Frege synthesized, Essays on the philosophical and foundational work of Gottlob Frege |
Leila Haaparanta |
Edwin Martin |
The Journal of Symbolic Logic |
1988 |
| Cylindric algebras. Part II |
Leon Henkin, J. Donald Monk, and Alfred Tarski |
Roger D. Maddux |
The Journal of Symbolic Logic |
1988 |
| A Border Dispute: The Place of Logic in Psychology |
John Macnamara |
Jay L. Garfield |
The Journal of Symbolic Logic |
1988 |
| Cylindric algebras. Part II |
L Henkin |
Roger D. Maddux |
The Journal of Symbolic Logic |
1988 |
| Algebraic recursion theory. Edited by J. L. Bell. Mathematics and its applications |
L. L. Ivanov |
Dag Normann |
The Journal of Symbolic Logic |
1988 |
| Mass terms and model-theoretic semantics |
Harry C. Bunt |
Phillip Bricker |
The Journal of Symbolic Logic |
1988 |
| Consequences of Martin's axiom |
D. H. Fremlin |
William Weiss |
The Journal of Symbolic Logic |
1988 |
| Abstract objects. An introduction to axiomatic metaphysics |
Edward N. Zalta |
Michael Byrd |
The Journal of Symbolic Logic |
1988 |
| Introduction to combinators and λ-calculus |
J. Roger Hindley and Jonathan P. Seldin |
J. L. Krivine |
The Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá |
S. Yu. Maslov |
Daniel J. Dougherty |
The Journal of Symbolic Logic |
1988 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1988 |
| Consequences of Martin's axiom |
D. H. Fremlin |
William Weiss |
The Journal of Symbolic Logic |
1988 |
| Computabitity |
George J. Tourlakis |
Ann Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Computabitity |
George J. Tourlakis |
Ann Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Computational limitations of small-depth circuits |
Johan Håstad |
Stuart A. Kurtz |
The Journal of Symbolic Logic |
1988 |
| Mass terms and model-theoretic semantics |
Harry C. Bunt |
Phillip Bricker |
The Journal of Symbolic Logic |
1988 |
| Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá |
S. Yu. Maslov |
Daniel J. Dougherty |
The Journal of Symbolic Logic |
1988 |
| Executing temporal logic programs |
B. C. Moszkowski |
Joseph Y. Halpern |
The Journal of Symbolic Logic |
1988 |
| Philosophy of logic |
W. V. Quine |
Michael Jubien |
The Journal of Symbolic Logic |
1988 |
| Knowing Who |
Steven E. Boër and William G. Lycan |
Scott Soames |
The Journal of Symbolic Logic |
1988 |
| Executing temporal logic programs |
B. C. Moszkowski |
Tung Shih Ping |
The Journal of Symbolic Logic |
1988 |
| Abstract objects. An introduction to axiomatic metaphysics |
Edward N. Zalta |
Michael Byrd |
The Journal of Symbolic Logic |
1988 |
| Theory and Measurement |
Henry E. Kyburg |
Patrick Suppes |
The Journal of Symbolic Logic |
1988 |
| Knowing Who |
Steven Boër |
Scott Soames |
The Journal of Symbolic Logic |
1988 |
| The time of my life. An autobiography |
W. V. Quine |
Donald Davidson |
The Journal of Symbolic Logic |
1988 |
| Leila Haaparanta and Jaakko Hintikka. General introduction. Frege synthesized, Essays on the philosophical and foundational work of Gottlob Frege |
Leila Haaparanta |
Edwin Martin |
The Journal of Symbolic Logic |
1988 |
| Computability theory, semantics, and logic programming |
George J Tourlakis |
Ann Yasuhara |
The Journal of Symbolic Logic |
1988 |
| Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory |
Theodore Hailperin |
N. T. Gridgeman |
The Journal of Symbolic Logic |
1988 |
| Self-reference and modal logic. Universitext |
C. Smoryński |
George Boolos |
The Journal of Symbolic Logic |
1988 |
| Combinatorial set theory: partition relations for cardinals |
Paul Erdös, András Hajnal, Attila Máté, and Richard Rado |
Neil H. Williams |
The Journal of Symbolic Logic |
1988 |
