| Directions in relevant logic |
J Norman |
Stephen Read |
History and Philosophy of Logic |
1991-01-01 |
| Paraconsistent Logic: Consistency, Contradiction and Negation |
Graham Priest |
Jean Paul Ven Bendegem |
Philosophica (Belgium) |
1991-01-01 |
| What is Identity? |
C J F Williams |
Michele Malatesta |
History and Philosophy of Logic |
1991-01-01 |
| Prior Analytics: Book I |
Aristotle |
James Gasser |
History and Philosophy of Logic |
1991-01-01 |
| Formal, Transcendental and Dialectical Thinking: Logic and Reality |
Errol E Harris |
Geoffrey Klempner |
Bulletin of the Hegel Society of Great Britain |
1991-01-01 |
| Languages of Possibility |
Graeme Forbes |
Tomis Kapitan |
History and Philosophy of Logic |
1991-01-01 |
| Die Lehre der Proprietates Terminorum |
Carlos A Dufour |
Rezensiert Von H Berger |
History and Philosophy of Logic |
1991-01-01 |
| The Game of the Name |
Gregory McCulloch |
Bob Hale |
History and Philosophy of Logic |
1991-01-01 |
| Dialectic and Its Place in the Development of Medieval Logic |
Eleonore Stump |
Michele Marsonet |
Filosofia |
1991-01-01 |
| Logic and Reality in the Philosophy of John Stuart Mill |
G. Scarre |
Wesley E Cooper |
Journal of the History of Philosophy |
1991-01-01 |
| Logic and Philosophy in the Lvov-Warsaw School |
Jan Wolenski |
Alan R Perreiah |
Journal of the History of Philosophy |
1991-01-01 |
| Logic and the Analytic Proposition from Kant to Carnap." Trans |
Anastasios Albert Brenner |
Frederick P. Van De Pitte |
Philosophy in Review |
1991-01-01 |
| Paraconsistent Logic: Essays on the Inconsistent |
Graham Priest, Richard Routley and Jean Norman |
Bryson Brown |
Philosophy in Review |
1991-01-01 |
| Logic and Ethics |
Peter Geach |
Timo Airaksinen |
Philosophy in Review |
1991-01-01 |
| Computing and Logic - Mathematics and LanguageGlen J. Satty |
Glen J Satty |
François Lepage |
Dialogue |
1991-01-01 |
| Kinds of Being: A Study of Individuation, Identity and the Logic of Sortal Terms |
E. J. Lowe |
George Englebretsen |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1991-01-00 |
| Toward a formal science of economics. The axiomatic method in economics and econometrics |
Bernt P. Stigum |
David Booth |
The Journal of Symbolic Logic |
1991 |
| Model theory |
C. C. Chang and H. J. Keisler |
Michael Makkai |
The Journal of Symbolic Logic |
1991 |
| The Busy Beaver Game and the Meaning of Life |
Allen H. Brady |
Arnold Oberschelp |
The Journal of Symbolic Logic |
1991 |
| Computability in analysis and physics |
Marian B. Pour-El and J. Ian Richards |
Oliver Aberth |
The Journal of Symbolic Logic |
1991 |
| Alan Turing and the Turing machine |
Andrew Hodges |
John N. Crossley |
The Journal of Symbolic Logic |
1991 |
| Toward a formal science of economics. The axiomatic method in economics and econometrics |
Bernt P. Stigum |
David Booth |
The Journal of Symbolic Logic |
1991 |
| Mathematical intuition. Phenomenology and mathematical knowledge |
Richard L. Tieszen |
Guillermo E. Rosado Haddock |
The Journal of Symbolic Logic |
1991 |
| Computing with logic. Logic programming with Prolog |
David Maier and David S. Warren |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| The Busy Beaver Game and the Meaning of Life |
Allen H. Brady |
Arnold Oberschelp |
The Journal of Symbolic Logic |
1991 |
| Essays and Zero-Knowledge--A Survey |
Shafi Goldwasser, Silvio Micali, Charles Rackoff, The Knowledge Complexity of Interactive Proof Systems ; Oded Goldreich, Silvio Micali, Avi Wigderson, J. Gruska, B. Rovan, J. Wiedermann, Proofs that Release Minimum Knowledge ; Oded Goldreich, Rolf Herken, Randomness, Interactive Proofs |
Lance Fortnow |
The Journal of Symbolic Logic |
1991 |
| Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes |
J. Richard Büchi |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1991 |
| Varieties of constructive mathematics |
Douglas Bridges and Fred Richman |
D. van Dalen |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Chance and structure. An essay on the logical foundations of probability |
John M. Vickers |
Mohamed A. Amer |
The Journal of Symbolic Logic |
1991 |
| Introduction to modern set theory. Pure and applied mathematics |
Judith Roitman |
J. R. Shoenfield |
The Journal of Symbolic Logic |
1991 |
| Complexity Theory and Interaction |
Uwe Schoning |
Steven Lindell |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Toposes, triples and theories |
Michael Barr and Charles Wells |
Andrew Pitts |
The Journal of Symbolic Logic |
1991 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
The Journal of Symbolic Logic |
1991 |
| Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol |
Walter P. van Stigt |
Peter Eggenberger |
The Journal of Symbolic Logic |
1991 |
| Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21 |
J. Steprāns |
Judith Roitman |
The Journal of Symbolic Logic |
1991 |
| Teoriya algorifmov. Matematicheskaya logika i osnovaniya matematiki. “Nauka,” Moscow |
A. A. Markov and N. M. Nagornyi |
R. Downey |
The Journal of Symbolic Logic |
1991 |
| Proofs and types |
Jean-Yves Girard, Paul Taylor, and Yves LaFont |
W. A. Howard |
The Journal of Symbolic Logic |
1991 |
| Complexity theory and interaction |
Uwe Schöning |
Steven Lindell |
The Journal of Symbolic Logic |
1991 |
| Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich |
Uwe Schöning |
Dirk Siefkes |
The Journal of Symbolic Logic |
1991 |
| Set theory and its applications, Proceedings of a conference held at York University, Ontario, Canada, Aug. 10–21 |
J. Steprāns |
Alan D. Taylor |
The Journal of Symbolic Logic |
1991 |
| Descriptive set theory and the structure of sets of uniqueness |
Alexander S. Kechris and Alain Louveau |
Miklos Ajtai |
The Journal of Symbolic Logic |
1991 |
| The theory of algorithms. English translation by M. Greendlinger of Teoriya algorifmov |
A. A. Markov and N. M. Nagorny |
Andre Scedrov |
The Journal of Symbolic Logic |
1991 |
| Introduction to deontic logic and the theory of normative systems |
Lennart Åqvist |
Hector-Neri Castañeda |
The Journal of Symbolic Logic |
1991 |
| PX. A computational logic |
Susumu Hayashi and Hiroshi Nakano |
Robert Harper |
The Journal of Symbolic Logic |
1991 |
| First historical introduction. A preliminary history of paraconsistent and dialethic approaches |
G. Priest and R. Routley |
F. G. Asenjo |
The Journal of Symbolic Logic |
1991 |
| The semantic foundations of logic. Volume 1: Propositional logics. With the assistance and collaboration of Walter A. Carnielli, Itala M. L. D'Ottaviano, Stanisław Krajewski, and Roger D. Maddux |
Richard L. Epstein |
Graeme Forbes |
The Journal of Symbolic Logic |
1991 |
| Toposes and local set theories. An introduction |
J L Bell |
Colin McLarty |
Notre Dame Journal of Formal Logic |
1990-12-01 |
| Problems in Argument Analysis and Evaluation |
Trudy Govier |
Derek Allen |
Informal Logic |
1990-12-01 |
