| Predicate calculus and program semantics |
Edsger W Dijkstra |
Egon Börger |
The Journal of Symbolic Logic |
1994 |
| Logic and computer science |
Piergiorgio Odifreddi |
Grigori Mints |
The Journal of Symbolic Logic |
1994 |
| Marianne Winslett |
|
Urs-Martin Künzi |
The Journal of Symbolic Logic |
1994 |
| Comparing the Church and Turing approaches: two prophetical messages |
Boris Trakhtenbrot |
Giuseppe Longo |
The Journal of Symbolic Logic |
1994 |
| José Luis Balcázar, Josep Díaz, and Joaquim Gabarró |
|
Eric Allender |
The Journal of Symbolic Logic |
1994 |
| Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference |
Judea Pearl |
Eric Neufeld |
The Journal of Symbolic Logic |
1993-06-01 |
| Foundations without Foundationalism |
Stewart Shapiro |
John Burgess |
The Journal of Symbolic Logic |
1993 |
| Models of Peano arithmetic |
Richard Kaye |
C. Dimitracopoulos |
The Journal of Symbolic Logic |
1993 |
| Elementary categories, elementary toposes |
Colin McLarty |
J. L. Bell |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1993 |
| Prolog. A logical approach |
Tony Dodd |
B. Wüthrich |
The Journal of Symbolic Logic |
1993 |
| Directions in relevant logic |
Jean Norman |
N C A Da Costa |
The Journal of Symbolic Logic |
1993 |
| Entities and indices. Studies in linguistics and philosophy, vol |
M. J. Cresswell |
James Higginbotham |
The Journal of Symbolic Logic |
1993 |
| Models for smooth infinitesimal analysis |
Ieke Moerdijk |
Anders Kock |
The Journal of Symbolic Logic |
1993 |
| Computable set theory |
Domenico Cantone |
Lincoln A. Wallen |
The Journal of Symbolic Logic |
1993 |
| Language in action. Categories, lambdas and dynamic logic |
Johan Van Benthem |
Richard T. Oehrle |
The Journal of Symbolic Logic |
1993 |
| The Logical Basis of Metaphysics |
Michael Dummett |
Sanford Shieh |
The Journal of Symbolic Logic |
1993 |
| Set theory with a universal set. Exploring an untyped universe |
T. E. Forster |
Randall Holmes |
The Journal of Symbolic Logic |
1993 |
| Categories, allegories |
Peter J Freyd |
Marta C. Bunge |
The Journal of Symbolic Logic |
1993 |
| Deducibility and decidability |
R. R. Rockingham Gill |
Albert Visser |
The Journal of Symbolic Logic |
1993 |
| Proof, Logic and Formalization |
Michael Detlefsen |
Mark Steiner |
The Journal of Symbolic Logic |
1993 |
| First-order logic and automated theorem proving |
Melvin Fitting |
Alfredo Ferro |
The Journal of Symbolic Logic |
1993 |
| On truth |
Frank Plumpton Ramsey |
Paul Horwich |
The Journal of Symbolic Logic |
1993 |
| Recursive functional |
Luis E. Sanchis |
Peter G. Hinman |
The Journal of Symbolic Logic |
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 |
The Journal of Symbolic Logic |
1993 |
| Logic and Information |
Keith Devlin |
I. L. Humberstone |
The Journal of Symbolic Logic |
1993 |
| Proof theory. An introduction |
Wolfram Pohlers |
Andrea Cantini |
The Journal of Symbolic Logic |
1993 |
| Classification theory and the number of non-isomorphic models |
S. Shelah |
Bradd Hart |
The Journal of Symbolic Logic |
1993 |
| Mechanical intelligence, Collected works of A. M. Turing |
D. C. Ince |
Martin Davis |
The Journal of Symbolic Logic |
1993 |
| Nonmonotonic reasoning: logical foundations of commonsense |
Gerhard Brewka |
Heinrich Herre |
The Journal of Symbolic Logic |
1993 |
| Logique Moderne: Fascicle I (Second Edition) |
Jean-Blaise Grize |
James Gasser |
The Journal of Symbolic Logic |
1992-12-01 |
| Complexity Theory of Real Functions |
Ker-I Ko |
G Malajovich |
The Journal of Symbolic Logic |
1992-12-01 |
| Handbook of philosophical logic, Volume III, Alternatives to classical logic |
D. Gabbay |
Carl J. Posy |
The Journal of Symbolic Logic |
1992 |
| The Concept of Logical Consequence |
John Etchemendy |
Vann McGee |
The Journal of Symbolic Logic |
1992 |
| Penelope Maddy, Realism in mathematics |
Penelope Maddy |
Bob Hale |
The Journal of Symbolic Logic |
1992 |
| Handbook of philosophical logic, Volume III, Alternatives to classical logic |
D. Gabbay |
Harry Deutsch |
The Journal of Symbolic Logic |
1992 |
| Logique moderne. Fascicle I. Logique des propositions et des prédicats, déduction naturelle |
Jean-Blaise Grize |
James Gasser |
The Journal of Symbolic Logic |
1992 |
| Model completions, ring representations and the topology of the Pierce sheaf |
Andrew B. Carson |
Marta Bunge |
The Journal of Symbolic Logic |
1992 |
| Mathematical methods in linguistics. Studies in linguistics and philosophy, vol |
Barbara H. Partee, Alice ter Meulen, and Robert E. Wall |
Lawrence S. Moss |
The Journal of Symbolic Logic |
1992 |
| The Liar: An Essay on Truth and Circularity |
Jon Barwise and John Etchemendy |
Donald A. Martin |
The Journal of Symbolic Logic |
1992 |
| Non-standard logics for automated reasoning |
Larry Wos |
Charles G. Morgan |
The Journal of Symbolic Logic |
1992 |
| Perspectives on the history of mathematical logic |
Thomas Drucker |
Stewart Shapiro |
The Journal of Symbolic Logic |
1992 |
| Higher recursion theory |
Gerald E. Sacks |
Dag Normann |
The Journal of Symbolic Logic |
1992 |
| Full abstraction and semantic equivalence |
Ketan Mulmuley |
P.-L. Curien |
The Journal of Symbolic Logic |
1992 |
| Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81 |
A. S. Kechris |
Andreas Blass |
The Journal of Symbolic Logic |
1992 |
| Algebras, lattices, varieties |
Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor |
Joel Berman |
The Journal of Symbolic Logic |
1992 |
| Canonical equational proofs. Progress in theoretical computer science |
Leo Bachmair |
John Pedersen |
The Journal of Symbolic Logic |
1992 |
| Fundamentals of stability theory |
John T. Baldwin |
Anand Pillay |
The Journal of Symbolic Logic |
1992 |
| Intensional logic and the metaphysics of intentionality |
Edward N. Zalta |
Christopher Menzel |
The Journal of Symbolic Logic |
1992 |
| Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81 |
A. S. Kechris |
Thomas Jech |
The Journal of Symbolic Logic |
1992 |
