| 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 |
| 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 |
| 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 |
| 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 |
| Comparability, complexity, and languages. Fundamentals of theoretical computer science |
Martin D. Davis and Elaine J. Weyuker |
Wolfgang Maass |
The Journal of Symbolic Logic |
1987 |
| 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 |
| Peano. Life and works of Giuseppe Peano. Studies in the history of modern science, vol |
Hubert C. Kennedy |
Piergiorgio Odifreddi |
The Journal of Symbolic Logic |
1983 |
| Quantum Logic |
Peter Mittelstaedt |
Peter Gibbins |
The British Journal for the Philosophy of Science |
1982-06-01 |
| Empiricism, Logic, and Mathematics. Philosophical Papers |
Hans Hahn |
D. A. Gillies |
The British Journal for the Philosophy of Science |
1982-06-01 |
| Topoi. The categorial analysis of logic |
R. I. Goldblatt |
J. L. BELL |
The British Journal for the Philosophy of Science |
1982-03-01 |
| From Logic to Logics (And Back Again) |
Susan Haack |
Larry Briskman |
The British Journal for the Philosophy of Science |
1982-03-00 |
| Fuzzy sets and systems. Theory and applications. Mathematics in science and engineering |
Didier Dubois |
I Grttan-Guinness |
The Journal of Symbolic Logic |
1982 |
| Karel Lambert and Gordon G. Brittan Jr. An introduction to the philosophy of science |
Karel Lambert |
Paul Teller |
The Journal of Symbolic Logic |
1982 |
| From Logic to Philosophies |
Susan Haack |
Neil Tennant |
The British Journal for the Philosophy of Science |
1981-09-00 |
| Selected Papers in Logic and Foundations, Didactics, Economics |
Karl Menger |
Donald Gillies |
The British Journal for the Philosophy of Science |
1981-06-01 |
| Logic, Laws and Life. Some Philosophical Complications |
Robert G. Colodny |
Nils Roll-Hansen |
The British Journal for the Philosophy of Science |
1981-03-01 |
| Begriffsschrift |
Formality of logic |
JOHN P. Mayberry |
The British Journal for the Philosophy of Science |
1980-12-01 |
| The Young Darwin and His Cultural Circle. A study of influences which helped shape the language and logic of the first drafts of the theory of natural selection |
E. Manier |
M. J. S. Hodge |
The British Journal for the Philosophy of Science |
1980-03-01 |
| Automated theorem proving. A logical basis. Fundamental studies in computer science, vol |
Donald W. Loveland |
J. A. Robinson |
The Journal of Symbolic Logic |
1980 |
| Handbook of Mathematical Logic |
Jon Barwise |
John Bell |
The British Journal for the Philosophy of Science |
1979-09-01 |
| Papers in Logic and Language |
D. Holdcroft |
A. J. Dale |
The British Journal for the Philosophy of Science |
1979-09-01 |
| Logic, Methodology and Philosophy of Science IV P. Suppes L. Henkin G. C. Moisil A. Joja |
אבישי מרגלית |
A. Margalit |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1978-10-00 |
| The Logic of Medicine |
Edmond A. Murphy |
Michael D Resnik |
Philosophy of Science |
1978-09-01 |
| The Logic of Questions and Answers |
Nuel D Belnap Jr |
Charles F. Kielkopf |
Philosophy of Science |
1978-09-01 |
| Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science |
R. E. Butts |
J. J. K. |
The Review of Metaphysics |
1978-09-00 |
| A Course in Mathematical Logic |
J. L. Bell |
Wilfrid Hodges |
The British Journal for the Philosophy of Science |
1978-06-01 |
| The Logic of Conditionals |
Ernest W. Adams |
C S Hill |
Philosophy of Science |
1978-03-01 |
| Proofs and Refutations: The Logic of Mathematical Discovery |
I. Lakatos |
W. V. Quine |
The British Journal for the Philosophy of Science |
1977-03-01 |
| Computability and Logic |
G. S. Boolos |
John Bell |
The British Journal for the Philosophy of Science |
1977-03-01 |
| Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22 |
A. Blikle |
Steven S. Muchnick |
The Journal of Symbolic Logic |
1977 |
| The Emergence of Science in Western Europe |
Maurice Crosland |
X |
International Logic Review |
1976-06-01 |
| Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol |
Seymour Ginsburg |
Arto Salomaa |
The Journal of Symbolic Logic |
1976 |
| Gambling with Truth: An Essay on Induction and the Aims of Science |
Isaac Levi |
H. B. Enderton |
The Journal of Symbolic Logic |
1976 |
| Logic: depth grammar of rationality. A textbook on the science and history of logic |
Patrick K. Bastable |
G. T. Kneebone |
The Journal of Symbolic Logic |
1976 |
