| 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 |
| Logical investigations of predication theory and the problem of universals |
Nino B. Cocchiarella |
Woosuk Park |
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 |
| 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 |
The Journal of Symbolic Logic |
1988 |
| Self-reference and modal logic. Universitext |
C Smorynski |
George Boolos |
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 |
| Models of the Lambda Calculus |
C P J Koymans |
Giuseppe Longo |
The Journal of Symbolic Logic |
1987-03-01 |
| Tree Automata |
Ferenc Gécseg |
Dirk Siefkes |
The Journal of Symbolic Logic |
1987-03-01 |
| Assertion and Conditionals |
Anthony Appiah |
Daniel Cohen |
The Journal of Symbolic Logic |
1987 |
| M. J. Cresswell Structured meanings: the semantics of propositional attitudes |
|
David Israel |
The Journal of Symbolic Logic |
1987 |
| Techniques of admissible recursion theory |
C. T. Chong |
Anne Leggett |
The Journal of Symbolic Logic |
1987 |
| A programming approach to computability |
A J Kfoury |
H. P. Edmundson |
The Journal of Symbolic Logic |
1987 |
| Equational logic as a programming language |
Michael J. O'Donnell |
Walter Taylor |
The Journal of Symbolic Logic |
1987 |
| Modal Logic and Classical Logic |
Johan Van Benthem |
R. A. Bull |
The Journal of Symbolic Logic |
1987 |
| Constructibility |
Keith J. Devlin |
Lee J. Stanley |
The Journal of Symbolic Logic |
1987 |
| Foundations of constructive mathematics. Metamathematical studies |
Michael J. Beeson |
William A. Howard |
The Journal of Symbolic Logic |
1987 |
| Computabitity. An introduction to recursive function theory |
Nigel Cutland |
H. B. Enderton |
The Journal of Symbolic Logic |
1987 |
| Foundations of logic programming. Symbolic computation. Artifical intelligence |
J. W. Lloyd |
John C. Shepherdson |
The Journal of Symbolic Logic |
1987 |
| Boolean semantics for natural language. Synthese language library, vol |
Edward L Keenan |
Lawrence S. Moss |
The Journal of Symbolic Logic |
1987 |
| Equivalents of the axiom of choice, II |
Herman Rubin and Jean E. Rubin |
David Pincus |
The Journal of Symbolic Logic |
1987 |
| Doing the best we can. An essay in informal deontic logic |
Fred Feldman |
David Makinson |
The Journal of Symbolic Logic |
1987 |
| Algebraic logic. English translation by Robert H. Silverman of Algébra logiki v zadačah |
S. G. Gindikin |
Raymond J. Nelson |
The Journal of Symbolic Logic |
1987 |
| An outline of set theory |
James M. Henle |
Judith Roitman |
The Journal of Symbolic Logic |
1987 |
| Equivalents of the axiom of choice, II |
Herman Rubin and Jean E. Rubin |
David Pincus |
The Journal of Symbolic Logic |
1987 |
| M. J. Cresswell Structured meanings: the semantics of propositional attitudes |
M J Cresswell |
David Israel |
The Journal of Symbolic Logic |
1987 |
| Subrecursion. Functions and hierarchies |
H. E. Rose |
H. Schwichtenberg |
The Journal of Symbolic Logic |
1987 |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse |
J. F. A. K. van Benthem |
Daniele Mundici |
The Journal of Symbolic Logic |
1987 |
| Comparability, complexity, and languages. Fundamentals of theoretical computer science |
Martin D. Davis and Elaine J. Weyuker |
Wolfgang Maass |
The Journal of Symbolic Logic |
1987 |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse |
J F A K Van Benthem |
Steven T. Kuhn |
The Journal of Symbolic Logic |
1987 |
| An introduction to unification-based approaches to grammar |
Stuart M. Shieber |
James W. Garson |
The Journal of Symbolic Logic |
1987 |
| The computer modelling of mathematical reasoning |
Alan Bundy |
Vladimir Lifschitz |
The Journal of Symbolic Logic |
1987 |
| Constructibility |
Keith J. Devlin |
Lee J. Stanley |
The Journal of Symbolic Logic |
1987 |
| Equational logic as a programming language |
Michael J. O'Donnell |
Walter Taylor |
The Journal of Symbolic Logic |
1987 |
| Constructive analysis |
Errett Bishop |
Nicolas D. Goodman |
The Journal of Symbolic Logic |
1987 |
| Model theory and algebra, A memorial tribute to Abraham Robinson |
D. H. Saracino |
Alexander Prestel |
The Journal of Symbolic Logic |
1987 |
| Cantorian Set Theory and Limitation of Size |
Michael Hallett |
Gregory H. Moore |
The Journal of Symbolic Logic |
1987 |
| Handbook of set-theoretic topology |
Kenneth Kunen |
Stewart Baldwin |
The Journal of Symbolic Logic |
1987 |
| Lectures on Government and Binding: The Pisa Lectures |
Noam Chomsky |
James McCloskey |
The Journal of Symbolic Logic |
1986-03-01 |
| Wittgenstein on rules and private language. An elementary exposition |
Saul A. Kripke |
Harry Deutsch |
The Journal of Symbolic Logic |
1986 |
| Boolean-valued models and independence proofs in set theory |
J. L. Bell |
James E. Baumgartner |
The Journal of Symbolic Logic |
1986 |
| Meinong and the principle of independence. Its place in Meinong's theory of objects and its significance in contemporary philosophical logic. Modern European philosophy |
Karel Lambert |
William J. Rapaport |
The Journal of Symbolic Logic |
1986 |
| Logic and structure. Universitext |
Dirk Van Dalen |
Melvin Fitting |
The Journal of Symbolic Logic |
1986 |
| Ein axiomatischer Aujbau der euklidischen Geometrie |
Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski |
Maria Moszyńska |
The Journal of Symbolic Logic |
1986 |
