| Artificial Intelligence: The Very Idea 8 reviews |
John Haugeland |
Ira Pohl |
Journal of Symbolic Logic |
1988 |
| Frege synthesized, Essays on the philosophical and foundational work of Gottlob Frege |
Leila Haaparanta |
Edwin Martin |
Journal of Symbolic Logic |
1988 |
| Cylindric algebras. Part II |
Leon Henkin, J. Donald Monk, and Alfred Tarski |
Roger D. Maddux |
Journal of Symbolic Logic |
1988 |
| A Border Dispute: The Place of Logic in Psychology 6 reviews |
John Macnamara |
Jay L. Garfield |
Journal of Symbolic Logic |
1988 |
| Cylindric algebras. Part II |
L Henkin |
Roger D. Maddux |
Journal of Symbolic Logic |
1988 |
| Algebraic recursion theory. Edited by J. L. Bell. Mathematics and its applications |
L. L. Ivanov |
Dag Normann |
Journal of Symbolic Logic |
1988 |
| Mass terms and model-theoretic semantics 2 reviews |
Harry C. Bunt |
Phillip Bricker |
Journal of Symbolic Logic |
1988 |
| Consequences of Martin's axiom 2 reviews |
D. H. Fremlin |
William Weiss |
Journal of Symbolic Logic |
1988 |
| Abstract objects. An introduction to axiomatic metaphysics 3 reviews |
Edward N. Zalta |
Michael Byrd |
Journal of Symbolic Logic |
1988 |
| Introduction to combinators and λ-calculus |
J. Roger Hindley and Jonathan P. Seldin |
J. L. Krivine |
Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof 2 reviews |
Peter B. Andrews |
M. Yasuhara |
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á 2 reviews |
S. Yu. Maslov |
Daniel J. Dougherty |
Journal of Symbolic Logic |
1988 |
| Computability theory, semantics, and logic programming 2 reviews |
Melvin Fitting |
J. C. Shepherdson |
Journal of Symbolic Logic |
1988 |
| Consequences of Martin's axiom 2 reviews |
D. H. Fremlin |
William Weiss |
Journal of Symbolic Logic |
1988 |
| Computabitity 2 reviews |
George J. Tourlakis |
Ann Yasuhara |
Journal of Symbolic Logic |
1988 |
| Computabitity 2 reviews |
George J. Tourlakis |
Ann Yasuhara |
Journal of Symbolic Logic |
1988 |
| Computational limitations of small-depth circuits 2 reviews |
Johan Håstad |
Stuart A. Kurtz |
Journal of Symbolic Logic |
1988 |
| Mass terms and model-theoretic semantics 2 reviews |
Harry C. Bunt |
Phillip Bricker |
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á 2 reviews |
S. Yu. Maslov |
Daniel J. Dougherty |
Journal of Symbolic Logic |
1988 |
| Executing temporal logic programs 2 reviews |
B. C. Moszkowski |
Joseph Y. Halpern |
Journal of Symbolic Logic |
1988 |
| Philosophy of logic 5 reviews |
W. V. Quine |
Michael Jubien |
Journal of Symbolic Logic |
1988 |
| Knowing Who 2 reviews |
Steven E. Boër and William G. Lycan |
Scott Soames |
Journal of Symbolic Logic |
1988 |
| Executing temporal logic programs 2 reviews |
B. C. Moszkowski |
Tung Shih Ping |
Journal of Symbolic Logic |
1988 |
| Abstract objects. An introduction to axiomatic metaphysics 3 reviews |
Edward N. Zalta |
Michael Byrd |
Journal of Symbolic Logic |
1988 |
| Theory and Measurement 2 reviews |
Henry E. Kyburg |
Patrick Suppes |
Journal of Symbolic Logic |
1988 |
| Knowing Who 6 reviews |
Steven Boër |
Scott Soames |
Journal of Symbolic Logic |
1988 |
| The time of my life. An autobiography 2 reviews |
W. V. Quine |
Donald Davidson |
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 |
Journal of Symbolic Logic |
1988 |
| Computability theory, semantics, and logic programming |
George J Tourlakis |
Ann Yasuhara |
Journal of Symbolic Logic |
1988 |
| Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory 2 reviews |
Theodore Hailperin |
N. T. Gridgeman |
Journal of Symbolic Logic |
1988 |
| Self-reference and modal logic. Universitext 2 reviews |
C. Smoryński |
George Boolos |
Journal of Symbolic Logic |
1988 |
| Combinatorial set theory: partition relations for cardinals 2 reviews |
Paul Erdös, András Hajnal, Attila Máté, and Richard Rado |
Neil H. Williams |
Journal of Symbolic Logic |
1988 |
| Artificial Intelligence: The Very Idea 8 reviews |
John Haugeland |
Ira Pohl |
Journal of Symbolic Logic |
1988 |
| Reasoning with arbitrary objects 3 reviews |
Kit Fine |
John MacNamara |
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 |
Journal of Symbolic Logic |
1988 |
| A Border Dispute: The Place of Logic in Psychology 6 reviews |
John MacNamara |
Jay L. Garfield |
Journal of Symbolic Logic |
1988 |
| The time of my life. An autobiography 2 reviews |
W. V. Quine |
Donald Davidson |
Journal of Symbolic Logic |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof 2 reviews |
Peter B. Andrews |
M. Yasuhara |
Journal of Symbolic Logic |
1988 |
| Predicative arithmetic |
Edward Nelson |
Pavel Pudlák |
Journal of Symbolic Logic |
1988 |
| Numbers in presence and absence: a study of Husserl's philosophy of mathematics 5 reviews |
J. Philip Miller |
Robert Tragesser |
Journal of Symbolic Logic |
1988 |
| Logical investigations of predication theory and the problem of universals 2 reviews |
Nino B. Cocchiarella |
Woosuk Park |
Journal of Symbolic Logic |
1988 |
| Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory 2 reviews |
Theodore Hailperin |
N. T. Gridgeman |
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', Moscow 1986, 135 |
S. Ú. Maslov |
Nigel Cutland |
Journal of Symbolic Logic |
1988 |
| Self-reference and modal logic. Universitext 2 reviews |
C Smorynski |
George Boolos |
Journal of Symbolic Logic |
1988 |
| Numbers in presence and absence: a study of Husserl's philosophy of mathematics 5 reviews |
J. Philip Miller |
Robert Tragesser |
Journal of Symbolic Logic |
1988 |
| D'un Miroir et de Quelques Éclats 2 reviews |
Pierre Gravel |
Guy Bouchard |
Dialogue |
1987-12-01 |
| Logic: A Computer Approach 2 reviews |
Morton Schagrin |
Gary Jason |
Philosophia |
1987-12-01 |
| Lógica Simbólica Básica |
Luis A Camacho |
Celso Vargas |
Revista de Filosofía de la Universidad de Costa Rica |
1987-12-01 |
| Streams of Experience 6 reviews |
John J McDermott |
William J Gavin |
International Philosophical Quarterly |
1987-12-01 |
| Religion and Radical Empiricism |
Nancy Frankenberry |
John B Cobb Jr |
Process Studies |
1987-12-01 |