| A Modern Formal Logic Primer, Volume II: Predicate Logic and Metatheory |
Paul Teller |
Hans V Hansen |
Teaching Philosophy |
1992-12-01 |
| A Modern Formal Logic Primer, Volume I: Sentence Logic |
Paul Teller |
Hans V Hansen |
Teaching Philosophy |
1992-12-01 |
| Classification theory and the number of non-isomorphic models |
S Shelah |
Steven Buechler |
Notre Dame Journal of Formal Logic |
1992-12-01 |
| The Mathematical Philosophy of Bertrand Russell |
Francisco A Rodriguez-Consuegra |
Gregory Landini |
Notre Dame Journal of Formal Logic |
1992-09-01 |
| Models of Peano arithmetic |
Richard Kaye |
Laurence Kirby |
Notre Dame Journal of Formal Logic |
1992-06-01 |
| If P, Then Q |
David H Sanford |
Robert Stalnaker |
Notre Dame Journal of Formal Logic |
1992-03-01 |
| Phenomenology and the Formal Sciences |
T M Seebohm |
Roberto Poli |
History and Philosophy of Logic |
1992-01-01 |
| Constructivism in Mathematics, V1 |
A S Troelstra |
Michael J Beeson |
Notre Dame Journal of Formal Logic |
1991-03-01 |
| Constructivism in Mathematics, V2 |
A S Troelstra |
Michael J Beeson |
Notre Dame Journal of Formal Logic |
1991-03-01 |
| Formal, Transcendental and Dialectical Thinking: Logic and Reality |
Errol E Harris |
Geoffrey Klempner |
Bulletin of the Hegel Society of Great Britain |
1991-01-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 |
| Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes |
J. Richard Büchi |
Stephen L. Bloom |
The Journal of Symbolic Logic |
1991 |
| Toposes and local set theories. An introduction |
J L Bell |
Colin McLarty |
Notre Dame Journal of Formal Logic |
1990-12-01 |
| Kurt Gödel: Collected Works, V2 |
Solomon Feferman |
G Kreisel |
Notre Dame Journal of Formal Logic |
1990-09-01 |
| Computability theory, semantics, and logic programming |
Melvin Fitting |
Martin Davis |
Notre Dame Journal of Formal Logic |
1990-06-01 |
| Prolegomena to Formal Logic |
B H Slater |
Ali Behboud |
History and Philosophy of Logic |
1990-01-01 |
| Formal Logic: A Model of English |
Ronald Rubin |
John Nolt |
Teaching Philosophy |
1989-12-01 |
| Non-well-founded Sets |
Peter Aczel |
R Hinnion |
Notre Dame Journal of Formal Logic |
1989-03-01 |
| Formal, Transcendental and Dialectical Thinking: Logic and Reality |
Errol E Harris |
Howard Kainz |
The Owl of Minerva: Journal of the Hegel Society of America |
1989-03-01 |
| Formal, Transcendental and Dialectical Thinking: Logic and Reality |
Errol E. Harris |
Laura Byrne |
The Review of Metaphysics |
1989-03-00 |
| Parts and Moments: Studies in Logic and Formal Ontology |
Barry Smith |
George Berger |
Noûs |
1985-03-01 |
| Parts and Moments: Studies in Logic and Formal Ontology |
Barry Smith |
Robert Sokolowski |
The Review of Metaphysics |
1984-09-01 |
| Parts and Moments: Studies in Logic and Formal Ontology |
Barry Smith |
Ulrich Charpa |
Philosophische Rundschau Eine Zeitschrift für philosophische Kritik |
1984-01-01 |
| Parts and Moments: Studies in Logic and Formal Ontology |
Barry Smith |
Florencio González Asenjo |
Revista Latinoamericana de Filosofía |
1983-07-01 |
| Parts and Moments: Studies in Logic and Formal Ontology |
Barry Smith |
Jean-Louis Gardies |
Revue philosophique de la France et de l'étranger |
1983-07-01 |
| Formal Logic: Its Scope and Limits |
Richard Jeffrey |
Angus Kerr-Lawson |
Dialogue |
1982-12-01 |
| Formal Logic: Its Scope and Limits |
Richard Jeffrey |
Angus Kerr-Lawson |
Dialogue |
1982-12-01 |
| Selected papers of Richard Montague. Edited and with an introduction by Richmond H. Thomason |
Formal Philosophy |
Jon Barwise |
The Journal of Symbolic Logic |
1982 |
| Formal Semantics of Natural Language |
Edward L Keenan |
Michael Bennet |
Journal of Philosophical Logic |
1980-05-01 |
| Formal Semantics and Logic |
Bas C Van Fraassen |
Richard Butrick |
The Journal of Symbolic Logic |
1980 |
| Elementary Formal Logic |
G N Georgacarakos |
Patricia Johnston |
Teaching Philosophy |
1979-03-01 |
| Formal languages |
Arto Saloma |
Andrzej Blikle |
The Journal of Symbolic Logic |
1977 |
| Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol |
Seymour Ginsburg |
Arto Salomaa |
The Journal of Symbolic Logic |
1976 |
| Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
Richard Mansfield |
The Journal of Symbolic Logic |
1975 |
| W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
E. G. K. LóPez-Escobar |
The Journal of Symbolic Logic |
1975 |
| A. N. Prior. Existence in Leśniewski and in Russell. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium |
J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics |
C. Lejewski |
The Journal of Symbolic Logic |
1975 |
| Formal Semantics and Logic |
Bas C Van Fraassen |
Gerald J Massey |
Philosophy of Science |
1974-03-01 |
| Buddhist Formal Logic |
Richard S Y Chi |
Douglas Dunsmore Daye |
Philosophy East and West |
1973-10-01 |
| Formal Semantics and Logic |
Bas C Van Fraassen |
N. L. Wilson |
Dialogue |
1973-03-01 |
| A Study of Husserl's Formal and Transcendental Logic |
Suzanne Bachelard |
George J Stack |
Journal of the History of Philosophy |
1972-01-01 |
| A Study of Husserl's Formal and Transcendental Logic |
Suzanne Bachelard |
Angel Medina |
The New Scholasticism |
1971-09-01 |
| Formal and Transcendental Logic |
Edmund Husserl |
George J Stack |
The Modern Schoolman: A Quarterly Journal of Philosophy |
1971-05-01 |
| Formal and Transcendental Logic Edmund Husserl Dorion Cairns |
Edmund Husserl |
Allen W. Wood |
The Philosophical Review |
1971-04-00 |
| A Study of Husserl's Formal and Transcendental Logic |
Suzanne Bachelard |
Peter McCormick |
Journal of the British Society for Phenomenology |
1971-01-01 |
| Formal and Transcendental Logic |
Edmund Husserl |
Peter McCormick |
Journal of the British Society for Phenomenology |
1971-01-01 |
| Introduction to formal grammars. English translation of XXXIV 298 by M. Salkoff |
M. Gross and A. Lentin |
Ann S. Ferebee |
The Journal of Symbolic Logic |
1971 |
| Formal Logic: Its Scope and Limits |
Richard C. Jeffrey |
א. י. י. פוזננסקי |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1970-01-00 |
| Philosophy of science a: formal approach |
Henry E Kyburg Jr |
David Miller |
The Journal of Symbolic Logic |
1970 |
| Formal languages: Automata and structures |
Erwin Engeler |
Andrzej Blikle |
The Journal of Symbolic Logic |
1970 |
