| Deductive Logic |
Warren Goldfarb |
Sherrilyn Roush |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Deductive Logic |
Warren Goldfarb |
Kenneth G Ferguson |
History and Philosophy of Logic |
2004-11-01 |
| The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning by George Boole (Die mathematische Analyse der Logik: Der Versuch eines Kalküls des deduktiven Schließen von George Boole) |
George Boole |
Risto Vilkko |
The Bulletin of Symbolic Logic |
2004-03-01 |
| George Boole: 'The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning' (1847) |
Tilman Bergt |
Ingomar Kloos |
Prima Philosophia |
2003-07-01 |
| Deductive Logic in Natural Language |
Douglas Cannon |
F. Ochieng'-Odhiambo |
Philosophy in Review |
2003-01-01 |
| The logical basis for computer programming. Volume I. Deductive reasoning |
Zohar Manna and Richard Waldinger |
Hans Kleine Büning |
The Journal of Symbolic Logic |
1995 |
| The Principles of Deductive Logic |
John T Kearns |
Charles F Kielkopf |
Teaching Philosophy |
1988-06-01 |
| Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá |
S. Yu. Maslov |
Daniel J. Dougherty |
The Journal of Symbolic Logic |
1988 |
| Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá |
S. Yu. Maslov |
Daniel J. Dougherty |
The Journal of Symbolic Logic |
1988 |
| Logic: form and function. The mechanization of deductive reasoning |
J. A. Robinson |
J. D. Halpern |
The Journal of Symbolic Logic |
1986 |
| Deductive Logic |
Hughes Leblanc |
Willliam K Goosens |
Teaching Philosophy |
1975-06-01 |
| Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque |
Alessandro Padoa |
Alonzo Church |
The Journal of Symbolic Logic |
1975 |
| Peirce's icons for deductive logic |
Hugues Leblanc |
Alan Ross Anderson |
The Journal of Symbolic Logic |
1974 |
| Deductive Logic |
Hughes Leblanc |
Yvon Gauthier |
Dialogue |
1973-12-01 |
| Deductive Logic H. Leblanc W. A. Wisdom |
H. Leblanc |
Charles F Kielkopf |
The Review of Metaphysics |
1973-09-00 |
| Introduction to Logic and to the Methodology of the Deductive Sciences |
AlfrTarski. A Galaxy Book |
James Cargile |
The British Journal for the Philosophy of Science |
1967-02-01 |
| A Deductive Theory of Space and Time, Studies in Logic |
Saul A. Basri |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1967-01-00 |
| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Ann M. Singleterry |
The Journal of Symbolic Logic |
1966 |
| An Introduction to Deductive Logic |
John van Heijenoort |
Herbert Hockberg |
Philosophy of Science |
1955-10-01 |
| The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning by George Boole (Die mathematische Analyse der Logik: Der Versuch eines Kalküls des deduktiven Schließen von George Boole) |
George Boole |
P. F. Strawson |
Philosophy |
1950-10-00 |
| The relation of equality in deductive systems |
A. A. Fraenkel |
W. V. Quine |
The Journal of Symbolic Logic |
1949-06-23 |
| The mathematical analysis of logic, being an essay towards a calculus of deductive*easoning |
George Boole |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
| Introduction to logic and to the methodology of deductive sciences. Translated by Olaf Helmer |
Alfred Tarski |
Alonzo Church |
The Journal of Symbolic Logic |
1947-06-23 |
| Introduction to Logic and to the Methodology of Deductive Sciences Alfred Tarski Olaf Helmer |
Alfred Tarski |
E. Toms |
Philosophy |
1944-04-00 |
| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Everett J. Nelson |
The Philosophical Review |
1942-09-00 |
| Introduction to logic and to the methodology of deductive sciences |
Alfred Tarski |
Alonzo Church |
The Journal of Symbolic Logic |
1941 |
| O logice matematycznej i metodzie dedukcyjnej (On mathematical logic and the deductive method). Bibljoteczka matematyczna 3–5. Ksiażnica-Atlas, Lwów and Warsaw |
Alfred Tarski |
Saunders MacLane |
The Journal of Symbolic Logic |
1938 |
