| Il valore della verità |
Stefano Besoli |
Christoph Demmerling |
History and Philosophy of Logic |
1993-01-01 |
| Realism, Mathematics and Modality |
Hartry Field |
Alasdair Urquhart |
History and Philosophy of Logic |
1993-01-01 |
| The Essential Peirce: Selected Philosophical Writings, Volume I (1867-1893) |
Nathan Houser |
I Grattan-Guinness |
History and Philosophy of Logic |
1993-01-01 |
| Logical Forms. An Introduction to Philosophical Logic |
Mark Sainsbury |
T. S. Champlin |
Mind |
1993-01-01 |
| Medieval Mereology |
Desmond Paul Henry |
Alan R Perreiah |
History and Philosophy of Logic |
1993-01-01 |
| Intensional Logic Revisited |
Imre Ruzsa |
John N Martin |
History and Philosophy of Logic |
1993-01-01 |
| Intuitionisme et théorie de la démonstration |
J Largeault |
M Franchella |
History and Philosophy of Logic |
1993-01-01 |
| The Space of Mathematics |
J Echeverria |
Albert C Lewis |
History and Philosophy of Logic |
1993-01-01 |
| An Introduction to Logic (Response to Blum) |
|
Wayne A Davis |
Philosophia |
1993-01-01 |
| The Mathematical Philosophy of Bertrand Russell |
Francisco A Rodriguez-Consuegra |
Michele Di Francesco |
History and Philosophy of Logic |
1993-01-01 |
| Philosophy and Logic in Central Europe from Bolzano to Tarski |
Peter Simons |
Wolfe Mays |
History and Philosophy of Logic |
1993-01-01 |
| Logic and Information |
K Devlin |
S B Russ |
History and Philosophy of Logic |
1993-01-01 |
| Language and Philosophical Problems |
Soren Stenlund |
H Hodes |
History and Philosophy of Logic |
1993-01-01 |
| Logic and Information |
K Devlin |
Charles B Cross |
Philosophical Psychology |
1993-01-01 |
| Slippery Slope Arguments |
Douglas Walton |
Dale Jacquette |
History and Philosophy of Logic |
1993-01-01 |
| A Structuralist Theory of Logic |
Arnold Koslow |
George Englebretsen |
Philosophy in Review |
1993-01-01 |
| The Logic of Reflection |
Julian Roberts |
Michael Hymers |
Philosophy in Review |
1993-01-01 |
| Hegel on Logic and Religion: The Reasonableness of Christianity |
John W. Burbidge |
Clark Butler |
Philosophy in Review |
1993-01-01 |
| Lectures on Linear Logic |
A.S. Troelstra |
Alasdair Urquhart |
Philosophy in Review |
1993-01-01 |
| Logic, God, and Metaphysics |
James F. Harris |
T.R. Martland |
Philosophy in Review |
1993-01-01 |
| Lectures on Logic |
Immanuel Kant |
Robert A. Holland |
Philosophy in Review |
1993-01-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 |
| A Modern Formal Logic Primer, Volume II: Predicate Logic and Metatheory |
Paul Teller |
Hans V Hansen |
Teaching Philosophy |
1992-12-01 |
| A Modern Formal Logic Primer, Volume I: Sentence Logic |
Paul Teller |
Hans V Hansen |
Teaching Philosophy |
1992-12-01 |
| Complexity Theory of Real Functions |
Ker-I Ko |
G Malajovich |
The Journal of Symbolic Logic |
1992-12-01 |
| Numerically Exceptive Logic |
Wallace A Murphree |
George Englebretsen |
Canadian Philosophical Reviews |
1992-12-01 |
