| Universals: Studies in Indian Logic and Linguistics |
Frits Staal |
Brendan S. Gillon |
Philosophy in Review |
1988-01-01 |
| From Logic to Rhetoric |
Michel Meyer |
John Woods |
Philosophy in Review |
1988-01-01 |
| The Dynamics of Belief: A Normative Logic |
Peter Forrest |
Michael Welbourne |
Philosophical Books |
1988-01-01 |
| Introduction to Medieval Logic |
Alexander Broadie |
Stephen Read |
Philosophical Books |
1988-01-01 |
| Introduction to Medieval Logic |
Alexander Broadie |
E. J. Ashworth |
Vivarium |
1988-01-00 |
| Charles S. Peirce: Logic and the Classification of the Sciences |
Beverley Kent |
Helmut Paper |
The Journal of Speculative Philosophy |
1988-01-00 |
| 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 |
| Artificial Intelligence: The Very Idea |
John Haugeland |
Ira Pohl |
The Journal of Symbolic Logic |
1988 |
| Reasoning with arbitrary objects |
Kit Fine |
John MacNamara |
The Journal of Symbolic Logic |
1988 |
| Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow1986, 135 |
S. Ú. Maslov |
Nigel Cutland |
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 |
| The time of my life. An autobiography |
W. V. Quine |
Donald Davidson |
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 |
| Predicative arithmetic |
Edward Nelson |
Pavel Pudlák |
The Journal of Symbolic Logic |
1988 |
| Numbers in presence and absence: a study of Husserl's philosophy of mathematics |
J. Philip Miller |
Robert Tragesser |
The Journal of Symbolic Logic |
1988 |
