| Set theory of the continuum |
H. Judah |
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 |
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: Networks of Plausible Inference |
Judea Pearl |
Eric Neufeld |
1993-06-01 |
| Foundations without Foundationalism |
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 |
