| Mathematical problems. Lecture delivered before the International Congress of Mathematicians at Paris in 1900. A reprint of 1084 (English translation of 1087 by Mary Winston Newsom) |
David Hilbert |
C. Smoryński |
The Journal of Symbolic Logic |
1979 |
| A metaphysics of elementary mathematics |
Jeffrey Sicha |
Roy S. Edelstein |
The Journal of Symbolic Logic |
1979 |
| Counterfactuals |
David K. Lewis |
William T. Parry |
The Journal of Symbolic Logic |
1979 |
| Ordinale Deontik. Zusammenhänge zwischen Präferenztheorie, Normlogik und Rechtstheorie |
Thomas Cornides |
Risto Hilpinen |
The Journal of Symbolic Logic |
1979 |
| Choice sequences. A chapter of intuitionistic mathematics |
A. S. Troelstra |
Richard Vesley |
The Journal of Symbolic Logic |
1979 |
| Elementary logic |
Nancy D Simco |
Richard Butrick |
The Journal of Symbolic Logic |
1979 |
| Elements of intuitionism. With the assistance of Roberto Minio |
Michael Dummett |
Nicolas D. Goodman |
The Journal of Symbolic Logic |
1979 |
| Frege und die moderne Grundlagenforschung, Symposium, gehalten in Bad Homburg im Dezember |
Christian Thiel |
Matthias Schirn |
The Journal of Symbolic Logic |
1979 |
| Beginning model theory. The completeness theorem and some consequences |
Jane Bridge |
John T. Baldwin |
The Journal of Symbolic Logic |
1979 |
| Jikan no ronri (Temporal logic) |
Takeo Sugihara |
Tsutomu Hosoi |
The Journal of Symbolic Logic |
1979 |
| Applications of fuzzy sets to systems analysis. Revised English translation of Mulţimi vagi şi aplicaţiile lor |
C. V. Negoiţӑ and D. A. Ralescu |
J. A. Goguen |
The Journal of Symbolic Logic |
1979 |
| Logic: A first course |
Albert E. Blumberg |
Leigh S. Cauman |
The Journal of Symbolic Logic |
1979 |
| Symbolic Logic |
Lewis Carroll |
Peter Alexander |
The Philosophical Quarterly |
1978-10-01 |
| Lewis Carroll's Symbolic Logic: Part I and Part II |
W W Bartley III |
Charles F Kielkopf |
The Review of Metaphysics |
1978-03-01 |
| Symbolic Logic By Lewis Carroll |
W. W. Bartley III |
P. T. Geach |
Philosophy |
1978-01-01 |
| Truth-value semantics |
Hugues Leblanc |
J. Michael Dunn |
The Journal of Symbolic Logic |
1978 |
| Elementary symbolic logic |
William Gustason |
James Moor |
The Journal of Symbolic Logic |
1978 |
| Theory of program structures: schemes, semantics, verification |
Sheila A. Greibach |
Robert L. Constable |
The Journal of Symbolic Logic |
1978 |
| Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium |
Peter Aczel |
S. K. Thomason |
The Journal of Symbolic Logic |
1978 |
| Plausible reasoning. An introduction to the theory and practice of plausibilistic inference |
Nicholas Rescher |
Paul W. Humphreys |
The Journal of Symbolic Logic |
1978 |
| Nuel D. BelnapJr., and Thomas B. Steel Jr. The logic of questions and answers |
|
David Harrah |
The Journal of Symbolic Logic |
1978 |
| Computer logic |
Alan Rose |
Richard J. Orgass |
The Journal of Symbolic Logic |
1978 |
| Admissible sets and structures. An approach to definability theory |
Jon Barwise |
Mark Nadel |
The Journal of Symbolic Logic |
1978 |
| Deviant Logic |
Susan Haack |
Karel Lambert |
The Journal of Symbolic Logic |
1978 |
| Large infinitary languages. Model theory |
M. A. Dickmann |
Michael Makkai |
The Journal of Symbolic Logic |
1978 |
| Applied nonstandard analysis. Pure and applied mathematics |
Martin Davis |
Lawrence D. Kugler |
The Journal of Symbolic Logic |
1978 |
| Introduction to modern mathematics. English translation of Wstęp do matematyki współczesnej by Olgierd Wojtasiewicz |
Helena Rasiowa |
Angelo Margaris |
The Journal of Symbolic Logic |
1978 |
| A Theory of Possibility |
Nicholas Rescher |
Glenn Kessler |
The Journal of Symbolic Logic |
1978 |
| Set Theory: An Introduction to Large Cardinals |
Frank R. Drake |
Azriel Levy |
The Journal of Symbolic Logic |
1978 |
| Elementary Applied Symbolic Logic |
Bangs L Tapscott |
William K Goosens |
Teaching Philosophy |
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 |
| Modal logic. The Lewis-modal systems |
J. Jay Zeman |
M. J. Cresswell |
The Journal of Symbolic Logic |
1977 |
| La logique du temps. Collection SUP |
Jean-Louis Gardies |
Storrs McCall |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Combinatorial functors |
J. N. Crossley and Anil Nerode |
Carl E. Bredlau |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| From mathematics to philosophy. International library of philosophy and scientific method |
Hao Wang |
John P. Burgess |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol |
Daniel Gallin |
Kenneth A. Bowen |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Three languages and theories |
Logic in algebraic form |
Stephen D. Comer |
The Journal of Symbolic Logic |
1977 |
| Modal Thinking |
Alan R. White |
William H. Hanson |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Formal languages |
Arto Saloma |
Andrzej Blikle |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
The Journal of Symbolic Logic |
1977 |
| Laws of form |
G. Spencer Brown |
William E. Gould |
The Journal of Symbolic Logic |
1977 |
| Distributive lattices |
R Balbes |
Alasdair Urquhart |
The Journal of Symbolic Logic |
1977 |
| Logic: modern and traditional |
Henry J. Ehlers |
David F Siemens Jr |
The Journal of Symbolic Logic |
1977 |
