| Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic |
Adriane Rini |
Theodor Ebert |
Archiv für Geschichte der Philosophie |
2014-01-01 |
| Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic |
Adriane Rini |
Luca Gili |
Ancient Philosophy |
2012-03-01 |
| Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic |
Adriane Rini |
Mathieu Beirlaen |
Tijdschrift voor Filosofie |
2011-01-01 |
| Subject and Predicate in Logic and Grammar |
P F Strawson |
M J Frápolli |
History and Philosophy of Logic |
2005-05-01 |
| Subject and Predicate in Logic and Grammar |
P F Strawson |
H W Baldwin |
The Review of Metaphysics |
2005-03-01 |
| The Semantic Foundations of Logic: Volume I: Predicate Logic |
Richard L Epstein |
Simon Thompson |
Manuscrito |
2001-04-01 |
| Predicate calculus and program semantics |
Edsger W Dijkstra |
Egon Börger |
The Journal of Symbolic Logic |
1994 |
| A Modern Formal Logic Primer, Volume II: Predicate Logic and Metatheory |
Paul Teller |
Hans V Hansen |
Teaching Philosophy |
1992-12-01 |
| Model theory for modal logic. Kripke models for modal predicate calculi |
Kenneth A. Bowen |
Rob Goldblatt |
The Journal of Symbolic Logic |
1981 |
| Predicate Logic |
Howard Pospesel |
Richard A Wright |
Teaching Philosophy |
1977-01-01 |
| Subject and Predicate in Logic and Grammar |
P F Strawson |
John C Bigelow |
|
1976-09-01 |
| Subject and Predicate in Logic and Grammar |
P. F. Strawson |
THOMAS E. Patton |
Philosophical Books |
1976-01-01 |
| Subject and Predicate in Logic and Grammar |
P. F. Strawson |
David Holdcroft |
Philosophy |
1975-10-00 |
| The predicate calculus. A survey of mathematical logic |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
| Many-sorted predicate calculi. A survey of mathematical logic |
Hao Wang |
Steven Orey |
The Journal of Symbolic Logic |
1963 |
