| The Logic and Methodology of Science in Early Modern Thought: Seven Studies |
Fred Wilson |
Stephen Gaukroger |
International Studies in Philosophy |
2004-01-01 |
| Abduction, Reason, and Science: Processes of Discovery and Explanation |
Lorenzo Magnani |
Marcello Guarini |
Informal Logic |
2003-09-01 |
| Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science |
P McNamara |
Lambèr Royakkers |
History and Philosophy of Logic |
2002-01-01 |
| The Logic and Methodology of Science in Early Modern Thought: Seven Studies |
Fred Wilson |
Alessandro Pagnini |
History and Philosophy of the Life Sciences |
2002-01-00 |
| The Logic and Methodology of Science and Pseudoscience |
Fred Wilson |
Leslie Burkholder |
Philosophy in Review |
2001-01-01 |
| Logic, Mathematics and Philosophy |
George Boolos |
Alex Oliver |
The British Journal for the Philosophy of Science |
2000-12-00 |
| The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic |
Charles S. Chihara |
J. Melia |
The British Journal for the Philosophy of Science |
2000-06-01 |
| Ontology, Logic, and Mathematics |
Matthias Schirn |
Janet Folina |
The British Journal for the Philosophy of Science |
2000-06-00 |
| Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology, and Philosophy of Science (Florence, August 1995) |
M L Dalla Chiara |
Christian Bennet |
Studia Logica |
2000-04-01 |
| The Logic and Methodology of Science in Early Modern Thought: Seven Studies |
Fred Wilson |
Stathis Psillos |
Philosophy in Review |
2000-01-01 |
| Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science |
J.-J |
Rineke Verbrugoe |
The Journal of Symbolic Logic |
1999 |
| The Logic of Reliable Inquiry |
Kevin Kelly |
Patrick Suppes |
The British Journal for the Philosophy of Science |
1998-06-01 |
| Selected manuscripts on logic and its philosophy. Edited by Ivor Grattan-Guinness and Gérard Bornet. Science networks historical studies, vol |
George Boole |
Theodore Hailperin |
The Journal of Symbolic Logic |
1998 |
| 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 |
| Shadows of the mind. A search for the missing science of consciousness |
Roger Penrose |
Piergiorgio Odifreddi |
The Journal of Symbolic Logic |
1997 |
| 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 |
| Logic, Language, and the Structure of Scientific Theories |
W. Salmon |
Alan Richardson |
The British Journal for the Philosophy of Science |
1995-12-01 |
| Logic from computer science, Proceedings of a workshop held November 13–17 |
Y. N. Moschovakis |
Helmut Schwichtenberg |
The Journal of Symbolic Logic |
1995 |
| Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science |
Thomas Streicher |
Markus Marzetta |
The Journal of Symbolic Logic |
1995 |
| The Bounds of Logic: A Generalized Viewpoint |
Gil Sher |
Moshé Machover |
The British Journal for the Philosophy of Science |
1994-12-01 |
| The Logic of Decision |
Darwin Meets |
Brian Skyrms |
Philosophy of Science |
1994-12-01 |
| Logic of domains. Progress in theoretical computer science |
Guo-Qiang Zhang |
Manfred Droste |
The Journal of Symbolic Logic |
1994 |
| An Architectonic for Science: The Structuralist Program |
Wolfgang Balzer |
N C A Da Costa |
The Journal of Symbolic Logic |
1994 |
| Logic and computer science |
Piergiorgio Odifreddi |
Grigori Mints |
The Journal of Symbolic Logic |
1994 |
| Paraconsistent Logic: Essays on the Inconsistent |
Graham Priest, Richard Routley and Jean Norman |
Roman Tuziak |
The British Journal for the Philosophy of Science |
1993-03-01 |
| Quantum Probability-Quantum Logic |
Itamar Pitowsky |
David B. Malament |
Philosophy of Science |
1992-06-01 |
| On the Logic of the Social Science |
Jürgen Habermas |
Alan R. How |
Journal of the British Society for Phenomenology |
1992-01-01 |
| Canonical equational proofs. Progress in theoretical computer science |
Leo Bachmair |
John Pedersen |
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 |
| Progress in theoretical computeer science |
Ker-I Ko. Complexity theory of real functions |
G. Malajovich |
The Journal of Symbolic Logic |
1992 |
| Piaget's Logic: A Critique of Genetic Epistemology |
Muriel Seltman |
RICHARD F. Kitchener |
The British Journal for the Philosophy of Science |
1991-06-01 |
| The Art and Science of Logic |
Daniel Bonevac |
David Kelley |
Teaching Philosophy |
1991-03-01 |
| Toward a formal science of economics. The axiomatic method in economics and econometrics |
Bernt P. Stigum |
David Booth |
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 |
| A Border Dispute: The Place of Logic in Psychology |
John MacNamara |
David P. O'Brien |
Philosophy of Science |
1990-06-01 |
| The Critique of Thought: A Re-Examination of Hegel's Science of Logic |
Paul Owen Johnson |
John Burbidge |
Canadian Philosophical Reviews |
1989-11-01 |
| Logic, Philosophy of Science and Epistemology |
Paul Weingartner |
George Roussopoulos |
History and Philosophy of Logic |
1989-01-01 |
| The Critique of Thought: A Re-Examination of Hegel's Science of Logic |
Paul Owen Johnson |
John Burbidge |
Philosophy in Review |
1989-01-01 |
| Logic for computer science. Foundations of automatic theorem proving |
Jean H. Gallier |
Frank Pfenning |
The Journal of Symbolic Logic |
1989 |
| Polanyian Meditations: In Search of a Post-Critical Logic |
William H Poteat |
William D. Dean |
Zygon: Journal of Religion & Science |
1988-06-01 |
| Logic: An Introductory Course |
W. H. Newton-Smith |
Caroline Dunmore |
The British Journal for the Philosophy of Science |
1987-12-01 |
| Historical Perspectives on Peirce's Logic of Science, 2v |
Carolyn Eisele |
Richard S Robin |
Transactions of the Charles S. Peirce Society |
1987-03-01 |
| Fact, Science and Morality: Essays on A.J. Ayer’s ‘Language, Truth and Logic’ |
Graham Macdonald |
David Pears |
London Review of Books |
1987-02-19 |
| Comparability, complexity, and languages. Fundamentals of theoretical computer science |
Martin D. Davis and Elaine J. Weyuker |
Wolfgang Maass |
The Journal of Symbolic Logic |
1987 |
| Modern Logic and Quantum Mechanics |
Rachel Wallace Garden |
Richard Healey |
Philosophy of Science |
1985-12-01 |
| An Interpretation of the Logic of Hegel |
Errol E. Harris |
JOHN E. Smith |
The British Journal for the Philosophy of Science |
1985-12-01 |
| Infinity and the mind. The science and philosophy of the infinite |
Rudy Rucker |
Joseph Shipman |
The Journal of Symbolic Logic |
1985 |
| The Postscript to the Logic of Scientific Discovery. Vol. I: Realism and the Aim of Science |
Karl Popper |
Paul Seabright |
London Review of Books |
1984-01-19 |
| Science without numbers. A defence of nominalism |
Hartry H. Field |
Kenneth L. Manders |
The Journal of Symbolic Logic |
1984 |
| Scientific Discovery, Logic and Rationality |
T Nickles |
P. L. Mott |
The British Journal for the Philosophy of Science |
1983-09-01 |
