| Québec Studies in the Philosophy of Science. Part I: Logic, Mathematics, Physics, and History of Science. Essays in Honor of Hugues Leblanc |
Mathieu Marion |
Arthur E. Falk |
Philosophy in Review |
1997-01-01 |
| Social Rules: Origin; Character; Logic; Change |
David Braybrooke |
Raimo Tuomela |
Philosophy in Review |
1997-01-01 |
| Studies on the History of Logic: Proceedings of the III. Symposium on the History of Logic |
Ignacio Angelelli |
Richard Bosley |
Philosophy in Review |
1997-01-01 |
| Perspectives on the Logic and Metaphysics of F.H. Bradley |
David Crossley |
John King-Farlow |
Philosophy in Review |
1997-01-01 |
| Meinongian Logic: The Semantics of Existence and Nonexistence |
Dale Jacquette |
Andrew Aberdein |
Philosophy in Review |
1997-01-01 |
| Logic or the Art of Thinking |
Antoine Arnauld and Pierre Nicole |
James van Evra |
Philosophy in Review |
1997-01-01 |
| One for All: The Logic of Group Conflict |
Russell Hardin |
Garrett Cullity |
Ethics |
1997-01-01 |
| One for All: The Logic of Group Conflict |
Russell Hardin |
Karl-dieter Opp |
The Independent Review |
1997-01-00 |
| Solvability, provability, definability: the collected works of Emil L. Post |
Davis Martin, Contemporary mathematicians |
H. B. Enderton |
The Journal of Symbolic Logic |
1997 |
| Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way |
Arnold W. Miller |
Tomek Bartoszyński |
The Journal of Symbolic Logic |
1997 |
| Editor's introduction |
Montgomery Furth |
G. Hasenjaeger |
The Journal of Symbolic Logic |
1997 |
| Notes on set theory |
Yiannis N. Moschovakis |
Joel David Hamkins |
The Journal of Symbolic Logic |
1997 |
| Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow |
Yu. V. Matiyasevich |
Neil Immerman |
The Journal of Symbolic Logic |
1997 |
| The design of relational databases |
Heikki Mannila and Kari-Jouko Räihä |
J. A. Makowsky |
The Journal of Symbolic Logic |
1997 |
| Cardinal arithmetic |
Shelah Saharon |
Akihiro Kanamori |
The Journal of Symbolic Logic |
1997 |
| Sentential probability logic. Origins, development, current status, and technical applications |
Hailperin Theodore |
John P. Burgess |
The Journal of Symbolic Logic |
1997 |
| From ancient ideas to artificial intelligence. Studies in linguistics and philosophy, vol |
Øhrstrøm Peter and Hasle Per F. V.. Temporal logic |
Angelo Montanari |
The Journal of Symbolic Logic |
1997 |
| A new introduction to modal logic |
G. E. Hughes and M. J. Cresswell |
Michael Zakharyaschev |
The Journal of Symbolic Logic |
1997 |
| Inconsistent mathematics. Mathematics and its applications |
Chris Mortensen |
Newton C. A. da Costa |
The Journal of Symbolic Logic |
1997 |
| Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis |
Yuri V. Matiyasevich |
C. Dimitracopoulos |
The Journal of Symbolic Logic |
1997 |
| Closure spaces and logic. Mathematics and its applications |
Norman M. Martin and Stephen Pollard |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1997 |
| Classical descriptive set theory |
Alexander S. Kechris |
R. Daniel Mauldin |
The Journal of Symbolic Logic |
1997 |
| For the sake of the argument. Ramsey test conditionals, inductive inference, and nonmonotonic reasoning |
Levi Isaac |
R. D. Rosenkrantz |
The Journal of Symbolic Logic |
1997 |
| Conditionals |
Frank Jackson |
Donald Nute |
The Journal of Symbolic Logic |
1997 |
| Vicious circles. On the mathematics of non-wellfounded phenomena |
Barwise Jon and Moss Lawrence |
M. Boffa |
The Journal of Symbolic Logic |
1997 |
| Reasoning about knowledge |
Joseph Y Halpern |
Rohit Parikh |
The Journal of Symbolic Logic |
1997 |
| Truth |
Herbert L Searles |
George Bealer |
The Journal of Symbolic Logic |
1997 |
| Fine structure and iteration trees |
William J. Mitchell and John R. Steel |
P. D. Welch |
The Journal of Symbolic Logic |
1997 |
| Shadows of the mind. A search for the missing science of consciousness |
Roger Penrose |
Piergiorgio Odifreddi |
The Journal of Symbolic Logic |
1997 |
| Golden Rule: The Investment Theory of Party Competition and the Logic of Money-Driven Political Systems |
Thomas Ferguson |
Michael C. Munger |
The Independent Review |
1996-03-01 |
| grundgesetze der arithmetik |
|
Richard G. Heck |
History and Philosophy of Logic |
1996-01-01 |
| Edmund Husserl: Early Writings in the Philosophy of Logic and Mathematics |
Harrison B. Hall |
Richard Tieszen |
Journal of the British Society for Phenomenology |
1996-01-01 |
| Moore, "Logic and Representation |
|
Oliver Lemon |
Philosophy in Review |
1996-01-01 |
| The Logic of Imaginative Education: Reaching Understanding |
Dick McCleary |
Nebojsa Kujundzic |
Philosophy in Review |
1996-01-01 |
| Logic and Information |
Keith Devlin |
Peter Novak |
Philosophy in Review |
1996-01-01 |
| Aristotle's Modal Logic: Essence and Entailment in the Organon |
Richard Patterson |
Allan Bäck |
Philosophy in Review |
1996-01-01 |
| Ways into the Logic of Alexander of Aphrodisias |
Kevin L. Flannery |
Ignacio Angelelli |
Philosophy in Review |
1996-01-01 |
| Logic on the Track of Social Change |
David Braybrooke |
Peter Vallentyne |
Philosophy in Review |
1996-01-01 |
| One for All: The Logic of Group Conflict |
Russell Hardin |
Stephen Knack |
Public Choice |
1996-01-00 |
| An Introduction to Logic, second edition |
Morris R. Cohen |
James Gasser |
Dialectica |
1996-01-00 |
| The elements of advanced mathematics |
Steven G. Krantz |
Nancy Simco |
The Journal of Symbolic Logic |
1996 |
| Formal methods in artificial intelligence |
Allan Ramsay |
Francis Jeffry Pelletier |
The Journal of Symbolic Logic |
1996 |
| Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing |
Martin D Davis |
H. B. Enderton |
The Journal of Symbolic Logic |
1996 |
| Berechnungstheorie für Informatiker. With assistance from Ronald Peikert |
Erwin Engeler and Peter Läuchli |
Petr Hájek |
The Journal of Symbolic Logic |
1996 |
| The language of machines. An introduction to computability and formal languages |
Robert W. Floyd and Richard Beigel |
Raymond D. Gumb |
The Journal of Symbolic Logic |
1996 |
| Set theory with a universal set. Exploring an untyped universe |
T. E. Forster |
M. Randall Holmes |
The Journal of Symbolic Logic |
1996 |
| Smullyan Raymond M. Diagonalization and self-reference |
|
Lev Beklemishev |
The Journal of Symbolic Logic |
1996 |
| The combinatory programme. In collaboration with K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth, G. Schwärzler, and T. Weibel |
Erwin Engeler |
James Davenport |
The Journal of Symbolic Logic |
1996 |
| Truth or consequences, Essays in honor of Nuel Belnap |
J. Michael Dunn and Anil Gupta |
Gerhard Schurz |
The Journal of Symbolic Logic |
1996 |
| The higher infinite. Large cardinals in set theory from their beginnings |
Akihiro Kanamori |
Azriel Levy |
The Journal of Symbolic Logic |
1996 |
