| The Logic of Lawmaking: A Spatial Theory Approach |
Gerald S. Strom |
Howard Rosenthal |
Public Choice |
1992-01-00 |
| Logic and Ethics |
Peter Geach |
Torbjörn Tännsjö |
Ethics |
1992-01-00 |
| 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 |
| Maria Luisa Dalla Chiara. Quantum logic. Handbook of philosophical logic, Volume III, Alternatives to classical logic |
Sybil Wolfram |
R. I. G. Hughes |
The Journal of Symbolic Logic |
1992 |
| The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse. Second edition of LII 874 |
Johan van Benthem |
Steven T. Kuhn |
The Journal of Symbolic Logic |
1992 |
| An introduction |
Sybil Wolfram Philosophical logic |
Henle Lauer |
The Journal of Symbolic Logic |
1992 |
| Programming in Martin-Löf's type theory. An introduction |
Bengt Nordström, Kent Petersson, and Jan M. Smith |
John C. Mitchell |
The Journal of Symbolic Logic |
1992 |
| Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81 |
A. S. Kechris |
Sy D. Friedman |
The Journal of Symbolic Logic |
1992 |
| Frege in Perspective |
Joan Weiner |
Michael Dummett |
The Journal of Symbolic Logic |
1992 |
| The stable model semantics for logic programming |
Michael Gelfond and Vladimir Lifschitz |
Melvin Fitting |
The Journal of Symbolic Logic |
1992 |
| Truth, deduction, and computation. Logic and semantics for computer science |
R. E. Davis |
Nicolas D. Goodman |
The Journal of Symbolic Logic |
1992 |
| Graphs and order. The role of graphs in the theory of ordered sets and its applications |
Ivan Rival |
R. Downey |
The Journal of Symbolic Logic |
1992 |
| Progress in theoretical computeer science |
Ker-I Ko. Complexity theory of real functions |
G. Malajovich |
The Journal of Symbolic Logic |
1992 |
| The structure of the relational database model |
Jan Paredaens |
J. A. Makowsky |
The Journal of Symbolic Logic |
1992 |
| Introduction to Logic and Critical Thinking |
Merrilee Salmon |
Marjorie Hass |
Auslegung: A Journal of Philosophy |
1991-12-01 |
| Reasoning and Communication: Thinking Critically about Arguments |
Josina M Makau |
James Zeman |
Informal Logic |
1991-12-01 |
| Achieving Extraordinary Ends: An Essay on Creativity |
Sharon Bailin |
Donald Hatcher |
Informal Logic |
1991-12-01 |
| Norms in Argumentation: Proceedings of the Conference on Norms |
Robert Maier |
Josina M Makau |
Informal Logic |
1991-12-01 |
| The Logic of Sense |
Gilles Deleuze |
Bernard Flynn |
Canadian Philosophical Reviews |
1991-10-01 |
| The Logic of Marx's 'Capital' |
Tony Smith |
Chris Arthur |
Radical Philosophy |
1991-09-01 |
| On the Logic of Ordinary Conditionals |
Robert N McLaughlin |
Frank Jackson |
Mind |
1991-07-01 |
| Introduction to deontic logic and the theory of normative systems |
Lennart Åqvist |
Dario Palladino |
Epistemologia: Rivista italiana di Filosofia della Scienza |
1991-07-01 |
| Aspects of Aristotle's Logic of Modalities |
Jeroen Van Rijen |
Richard Bosley |
Canadian Philosophical Reviews |
1991-06-01 |
| Piaget's Logic: A Critique of Genetic Epistemology |
Muriel Seltman |
RICHARD F. Kitchener |
The British Journal for the Philosophy of Science |
1991-06-01 |
| Logic and Politics: Hegel's Philosophy of Right |
Peter J Steinberger |
Peter Fuss |
Journal of the History of Philosophy |
1991-04-01 |
| The Logic of Real Arguments |
Alec Fisher |
Ardon Lyon |
Philosophy |
1991-04-00 |
| Kinds of Being: A Study of Individuation, Identity and the Logic of Sortal Terms |
E. J. Lowe |
Harold W. Noonan |
Philosophy |
1991-04-00 |
| Logic and Politics: Hegel's Philosophy of Right |
Peter J Steinberger |
M W Jackson |
The Owl of Minerva: Journal of the Hegel Society of America |
1991-03-01 |
| The Situation in Logic |
Jon Barwise |
Gerhard Schurz |
Studia Logica |
1991-03-01 |
| Logic Colloquium '87 |
H D Ebbinghaus |
Jan Wolenski |
Studia Logica |
1991-03-01 |
| Constructivism in Mathematics, V1 |
A S Troelstra |
Michael J Beeson |
Notre Dame Journal of Formal Logic |
1991-03-01 |
| Constructivism in Mathematics, V2 |
A S Troelstra |
Michael J Beeson |
Notre Dame Journal of Formal Logic |
1991-03-01 |
| Logic Colloquium '88 |
R Ferro |
Jan Wolenski |
Studia Logica |
1991-03-01 |
