| 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 |
| Nonstandard methods in stochastic analysis and mathematical physics. Pure and applied mathematics |
Sergio Albeverio |
D. N. Hoover |
The Journal of Symbolic Logic |
1990 |
| J. R. Moschovakis. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September |
John N. Crossley, Studies in logic and the foundations of mathematics |
W. A. Howard |
The Journal of Symbolic Logic |
1970 |
| 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 Mathematical Analysis of Logic |
J. C. C. McKinsey |
C. West Churchman |
Philosophy of Science |
1949-01-01 |
| The mathematical analysis of logic, being an essay towards a calculus of deductive*easoning |
George Boole |
Alonzo Church |
The Journal of Symbolic Logic |
1948 |
