| Moti Gitik and Menachem Magidor. The singular cardinal hypothesis revisited. Set theory of the continuum |
H. Judah, W. Just, and H. Woodin, Mathematical Sciences Research Institute publications, vol. 26 |
James Cummings |
1995 |
| Charles Sanders Peirce. A life |
Joseph Brent |
Randall R. Dipert |
1995 |
| Thinking things through. An introduction to philosophical issues and achievements |
Clark Glymour |
Susan Russinoff |
1995 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
1995 |
| The Banach–Tarski paradox |
Stan Wagon |
Matthew Foreman |
1995 |
| Mathematics without numbers. Towards a modal-structural interpretation |
Geoffrey Hellman |
Peter Clark |
1995 |
| The logical basis for computer programming. Volume I. Deductive reasoning |
Zohar Manna and Richard Waldinger |
Hans Kleine Büning |
1995 |
| Recursion theory for metamathematics |
Raymond M. Smullyan |
Piergiorgio Odifreddi |
1995 |
| A short introduction to modal logic |
Grigori Mints |
Billy Joe Lucas |
1995 |
| Structures for semantics. Studies in linguistics and philosophy, vol |
Fred Landman |
Alice ter Meulen |
1995 |
| How to prove it. A structured approach |
Daniel J. Velleman |
Jeffrey A. Barrett |
1995 |
| Modalities, Philosophical essays |
|
John Bacon |
1995 |
| An introduction to Kolmogorov complexity and its applications |
Ming Li and Paul Vitányi |
V. A. Uspensky |
1995 |
| Computability in combinatory spaces. An algebraic generalization of abstract first order computability |
Dimiter G. Skordev |
Dag Normann |
1995 |
| Einführung in die mathematische Logik. Die Mathematik. Wissenschaftliche Buchgesellschaft, Darmstadt1978, ix + 288 pp. - H.-D. Ebbinghaus, J. Flum, and W. Thomas. Mathematical logic. Revised English translation by Ann S. Ferebee of the preceding |
Heinz-Dieter Ebbinghaus, Jörg Flum, and Wolfgang Thomas |
Steffen Lempp |
1995 |
| Joseph R. Shoenfield |
|
Steffen Lempp |
1994 |
| L'anti-fondation en logique et en theorie des ensembles |
R. Hinnion, Cahiers du Centre de Logique, no. 7, Academia |
R. Lunnon |
1994 |
| Logic of domains. Progress in theoretical computer science |
Guo-Qiang Zhang |
Manfred Droste |
1994 |
| The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419 |
Keith Devlin |
H. B. Enderton |
1994 |
| Words of power. A feminist reading of the history of logic. Thinking gender |
Andrea Nye |
Joan Weiner |
1994 |
| Mathematical logic: applications and theory |
Jean E. Rubin |
Walter Felscher |
1994 |
| Logical foundations of functional programming |
Gérard Huet, The UT year of programming series |
Karl Meinke |
1994 |
| An architectonic for science. The structuralist program |
Wolfgang Balzer |
N C A Da Costa |
1994 |
| Proof and knowledge in mathematics |
Michael Detlefsen |
David Auerbach |
1994 |
| Predicate calculus and program semantics |
Edsger W Dijkstra |
Egon Börger |
1994 |
| Logic and computer science |
Piergiorgio Odifreddi |
Grigori Mints |
1994 |
| Marianne Winslett |
|
Urs-Martin Künzi |
1994 |
| Comparing the Church and Turing approaches: two prophetical messages |
Boris Trakhtenbrot |
Giuseppe Longo |
1994 |
| José Luis Balcázar, Josep Díaz, and Joaquim Gabarró |
|
Eric Allender |
1994 |
| Probabilistic Reasoning in Intelligent Systems |
Judea Pearl |
Eric Neufeld |
1993-06-01 |
| Foundations without foundationalism. A case for second-order logic |
Stewart Shapiro |
John Burgess |
1993 |
| Models of Peano arithmetic |
Richard Kaye |
C. Dimitracopoulos |
1993 |
| Elementary categories, elementary toposes |
Colin McLarty |
J. L. Bell |
1993 |
| Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics |
Lincoln A. Wallen |
Luis Fariñas Del Cerro |
1993 |
| Prolog. A logical approach |
Tony Dodd |
B. Wüthrich |
1993 |
| Directions in relevant logic |
Jean Norman |
N C A Da Costa |
1993 |
| Entities and indices. Studies in linguistics and philosophy, vol |
M. J. Cresswell |
James Higginbotham |
1993 |
| Models for smooth infinitesimal analysis |
Ieke Moerdijk |
Anders Kock |
1993 |
| Computable set theory |
Domenico Cantone |
Lincoln A. Wallen |
1993 |
| Language in action. Categories, lambdas and dynamic logic |
Johan Van Benthem |
Richard T. Oehrle |
1993 |
| The logical basis of metaphysics |
Michael Dummett |
Sanford Shieh |
1993 |
| Set theory with a universal set. Exploring an untyped universe |
T. E. Forster |
Randall Holmes |
1993 |
| Categories, allegories |
Peter J Freyd |
Unknown |
1993 |
| Deducibility and decidability |
R. R. Rockingham Gill |
Albert Visser |
1993 |
| Proof, logic and formalization |
Michael Detlefsen |
Mark Steiner |
1993 |
| First-order logic and automated theorem proving |
Melvin Fitting |
Alfredo Ferro |
1993 |
| On truth |
Frank Plumpton Ramsey |
Paul Horwich |
1993 |
| Recursive functional |
Luis E. Sanchis |
Peter G. Hinman |
1993 |
| The language of first-order logic, including the program Tarski's world. Includes version 3.0 of LV 370(2) |
Jon Barwise |
Kevin J. Compton |
1993 |
| Logic and information |
Keith Devlin |
I. L. Humberstone |
1993 |
