| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
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 |
1988 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
J. C. Shepherdson |
1988 |
| Consequences of Martin's axiom |
D. H. Fremlin |
William Weiss |
1988 |
| Computabitity |
George J. Tourlakis |
Ann Yasuhara |
1988 |
| Computabitity |
George J. Tourlakis |
Ann Yasuhara |
1988 |
| Computational limitations of small-depth circuits |
Johan Håstad |
Stuart A. Kurtz |
1988 |
| Mass terms and model-theoretic semantics |
Harry C. Bunt |
Phillip Bricker |
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 |
1988 |
| Executing temporal logic programs |
B. C. Moszkowski |
Joseph Y. Halpern |
1988 |
| Philosophy of logic |
W. V. Quine |
Michael Jubien |
1988 |
| Knowing who |
Steven E. Boër and William G. Lycan |
Scott Soames |
1988 |
| Executing temporal logic programs |
B. C. Moszkowski |
Tung Shih Ping |
1988 |
| Abstract objects. An introduction to axiomatic metaphysics |
Edward N. Zalta |
Michael Byrd |
1988 |
| Cambridge studies in philosophy |
Henry E. Kyburg Jr. Theory and measurement |
Patrick Suppes |
1988 |
| Knowing who |
Steven Boër |
Scott Soames |
1988 |
| The time of my life. An autobiography |
W. V. Quine |
Donald Davidson |
1988 |
| Leila Haaparanta and Jaakko Hintikka. General introduction. Frege synthesized, Essays on the philosophical and foundational work of Gottlob Frege |
Leila Haaparanta |
Edwin Martin |
1988 |
| Computability theory, semantics, and logic programming |
George J Tourlakis |
Ann Yasuhara |
1988 |
| Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory |
Theodore Hailperin |
N. T. Gridgeman |
1988 |
| Self-reference and modal logic. Universitext |
C. Smoryński |
George Boolos |
1988 |
| Combinatorial set theory: partition relations for cardinals |
Paul Erdös |
Neil H. Williams |
1988 |
| Artificial intelligence: the very idea |
John Haugeland |
Ira Pohl |
1988 |
| Reasoning with arbitrary objects |
Kit Fine |
John MacNamara |
1988 |
| Téoriá déduktivnyh sistém i éé priménéniá. Russian original of the preceding. Kibérnétika. Radio i Savz', Moscow1986, 135 pp. - K. D. Stroyan and José Manuel Bayod. Foundations of infinitesimal stochastic analysis |
S. Ú. Maslov |
Nigel Cutland |
1988 |
| A border dispute. The place of logic in psychology |
John MacNamara |
Jay L. Garfield |
1988 |
| The time of my life. An autobiography |
W. V. Quine |
Donald Davidson |
1988 |
| An introduction to mathematical logic and type theory: to truth through proof |
Peter B. Andrews |
M. Yasuhara |
1988 |
| Predicative arithmetic |
Edward Nelson |
Pavel Pudlák |
1988 |
| Numbers in presence and absence: a study of Husserl's philosophy of mathematics |
J. Philip Miller |
Robert Tragesser |
1988 |
| Logical investigations of predication theory and the problem of universals |
Nino B. Cocchiarella |
Woosuk Park |
1988 |
| Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory |
Theodore Hailperin |
N. T. Gridgeman |
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 pp. - K. D. Stroyan and José Manuel Bayod. Foundations of infinitesimal stochastic analysis |
S. Ú. Maslov |
Nigel Cutland |
1988 |
| Self-reference and modal logic. Universitext |
C Smorynski |
George Boolos |
1988 |
| Numbers in presence and absence: a study of Husserl's philosophy of mathematics |
J. Philip Miller |
Robert Tragesser |
1988 |
| Models of the Lambda Calculus |
C P J Koymans |
Giuseppe Longo |
1987-03-01 |
| Tree Automata |
Ferenc Gécseg |
Dirk Siefkes |
1987-03-01 |
| Assertion and conditionals |
Anthony Appiah |
Daniel Cohen |
1987 |
| M. J. Cresswell Structured meanings: the semantics of propositional attitudes |
|
David Israel |
1987 |
| Techniques of admissible recursion theory |
C. T. Chong |
Anne Leggett |
1987 |
| A programming approach to computability |
A J Kfoury |
H. P. Edmundson |
1987 |
| Equational logic as a programming language |
Michael J. O'Donnell |
Walter Taylor |
1987 |
| Modal logic and classical logic |
Johan Van Benthem |
R. A. Bull |
1987 |
| Constructibility |
Keith J. Devlin |
Lee J. Stanley |
1987 |
| Foundations of constructive mathematics. Metamathematical studies |
Michael J. Beeson |
William A. Howard |
1987 |
| Computabitity. An introduction to recursive function theory |
Nigel Cutland |
H. B. Enderton |
1987 |
| Foundations of logic programming. Symbolic computation. Artifical intelligence |
J. W. Lloyd |
John C. Shepherdson |
1987 |
| Boolean semantics for natural language. Synthese language library, vol |
Edward L Keenan |
Lawrence S. Moss |
1987 |
| Equivalents of the axiom of choice, II |
Herman Rubin and Jean E. Rubin |
David Pincus |
1987 |
| Doing the best we can. An essay in informal deontic logic |
Fred Feldman |
David Makinson |
1987 |
