| Algebraic logic. English translation by Robert H. Silverman of Algébra logiki v zadačah |
S. G. Gindikin |
Raymond J. Nelson |
1987 |
| An outline of set theory |
James M. Henle |
Judith Roitman |
1987 |
| Equivalents of the axiom of choice, II |
Herman Rubin and Jean E. Rubin |
David Pincus |
1987 |
| M. J. Cresswell Structured meanings: the semantics of propositional attitudes |
M J Cresswell |
David Israel |
1987 |
| Subrecursion. Functions and hierarchies |
H. E. Rose |
H. Schwichtenberg |
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 |
1987 |
| Comparability, complexity, and languages. Fundamentals of theoretical computer science |
Martin D. Davis and Elaine J. Weyuker |
Wolfgang Maass |
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 |
1987 |
| An introduction to unification-based approaches to grammar |
Stuart M. Shieber |
James W. Garson |
1987 |
| The computer modelling of mathematical reasoning |
Alan Bundy |
Vladimir Lifschitz |
1987 |
| Constructibility |
Keith J. Devlin |
Lee J. Stanley |
1987 |
| Equational logic as a programming language |
Michael J. O'Donnell |
Walter Taylor |
1987 |
| Constructive analysis |
Errett Bishop |
Nicolas D. Goodman |
1987 |
| Peter Roquette. Nonstandard aspects of Hilbert's irreducibility theorem. Model theory and algebra, A memorial tribute to Abraham Robinson |
D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498 |
Alexander Prestel |
1987 |
| Cantorian set theory and limitation of size |
Michael Hallett |
Gregory H. Moore |
1987 |
| Handbook of set-theoretic topology |
Kenneth Kunen |
Stewart Baldwin |
1987 |
| Lectures on Government and Binding: The Pisa Lectures |
Noam Chomsky |
James McCloskey |
1986-03-01 |
| Wittgenstein on rules and private language. An elementary exposition |
Saul A. Kripke |
Harry Deutsch |
1986 |
| Boolean-valued models and independence proofs in set theory |
J. L. Bell |
James E. Baumgartner |
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 |
1986 |
| Logic and structure. Universitext |
Dirk Van Dalen |
Melvin Fitting |
1986 |
| Ein axiomatischer Aujbau der euklidischen Geometrie |
Wolfram Schwabhäuser, Wanda Szmielew, and Alfred Tarski |
Maria Moszyńska |
1986 |
| An introduction to stability theory |
Anand Pillay |
Michael Makkai |
1986 |
| Situations and attitudes |
Jon Barwise and John Perry |
Nino B. Cocchiarella |
1986 |
| Abstract objects. An introduction to axiomatic metaphysics, Synthese library, vol |
Edward N. Zalta |
Michael Byrd |
1986 |
| A companion to modal logic |
G E Hughes |
Johan Van Benthem |
1986 |
| The development of logic |
William Kneale and Martha Kneale |
Benson Mates |
1986 |
| Fundamentals of generalized recursion theory |
Melvin Fitting |
Peter G. Hinman |
1986 |
| The logical foundations of mathematics |
William S. Hatcher |
Frederick W. Kroon |
1986 |
| Introduction to elementary mathematical logic. English translation edited by Elliot; Mendelson of Eléméntarnoé vvédénié v matématičéskuú logiku |
Abram Aronovich Stolyar |
Diane Resek |
1986 |
| Logic: form and function. The mechanization of deductive reasoning |
J. A. Robinson |
J. D. Halpern |
1986 |
| Situations and attitudes |
Jon Barwise |
Nino B. Cocchiarella |
1986 |
| The development of logic |
William Kneale and Martha Kneale |
Benson Mates |
1986 |
| Peter Aczel. Frege structures and the notions of proposition, truth and set. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A |
Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101 |
William S. Hatcher |
1986 |
| A course in mathematical logic. Translated from the Russian by Neal Koblitz |
Yu. I. Manin |
George Boolos |
1986 |
| Set theory. An introduction to independence proofs |
Kenneth Kunen |
James E. Baumgartner |
1986 |
| The logical foundations of mathematics |
William S. Hatcher |
Frederick W. Kroon |
1986 |
| Mechanism, mentalism, and metamathematics. An essay on finitism |
Judson Chambers Webb |
Stewart Shapiro |
1986 |
| An introduction to stability theory |
Anand Pillay |
Michael Makkai |
1986 |
| Set theory. An introduction to independence proofs |
Kenneth Kunen |
James E. Baumgartner |
1986 |
| Semantical investigations in Heyting's intuitionistic logic |
Dov M. Gabbay |
Wim Veldman |
1986 |
| Oblique contexts |
Leonard Linsky |
John Tienson |
1986 |
| Topoi. The categorial analysis of logic |
Robert Goldblatt |
Philip J. Scott |
1986 |
| Mechanism, mentalism, and metamathematics. An essay on finitism |
Judson Chambers Webb |
Stewart Shapiro |
1986 |
| Husserl and Intentionality |
D W Smith |
Robert S Tragesser |
1985-12-01 |
| Forcing and Classifying Topoi |
Andrej Scedrov |
Peter T Johnstone |
1985-09-01 |
| Cylindric Set Algebras and Related Structures |
L Henkin |
Roger Maddux |
1985-03-01 |
| Paradoxes. A study in form and predication |
James Cargile |
John Hawthorn |
1985 |
| Causal necessity. A pragmatic investigation of the necessity of laws |
Brian Skyrms |
Richard C. Jeffrey |
1985 |
| Boole's logic and probability. A critial exposition from the standpoint of contemporary algebra, logic and probability theory |
Theodore Hailperin |
N. T. Gridgeman |
1985 |
