| A. Bertoni. Mathematical methods of the theory of stochastic automata. Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22, 1974 |
A. Blikle, Lecture notes in computer science, vol. 28 |
Steven S. Muchnick |
1977 |
| Modal logic. The Lewis-modal systems |
J. Jay Zeman |
M. J. Cresswell |
1977 |
| La logique du temps. Collection SUP |
Jean-Louis Gardies |
Storrs McCall |
1977 |
| J. Michael Dunn. A truth value semantics for modal logic. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Raymond M. Smullyan. A generalization of intuitionistic and modal logics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Combinatorial functors |
J. N. Crossley and Anil Nerode |
Carl E. Bredlau |
1977 |
| Nuel D. Belnap Jr. Restricted quantification and conditional assertion. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| From mathematics to philosophy. International library of philosophy and scientific method |
Hao Wang |
John P. Burgess |
1977 |
| Richard Routley and Robert K. Meyer. The semantics of entailment. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol |
Daniel Gallin |
Kenneth A. Bowen |
1977 |
| Donald Davidson. In defense of convention T. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Three languages and theories |
Logic in algebraic form |
Stephen D. Comer |
1977 |
| Modal thinking |
Alan R. White |
William H. Hanson |
1977 |
| Leon Henkin. Internal semantics and algebraic logic. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Formal languages |
Arto Saloma |
Andrzej Blikle |
1977 |
| George Weaver. Logical consequence in modal logic: alternative semantic systems for normal modal logics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Richmond H. Thomason. Philosophy and formal semantics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Laws of form |
G. Spencer Brown |
William E. Gould |
1977 |
| Distributive lattices |
R Balbes |
Alasdair Urquhart |
1977 |
| Logic: modern and traditional |
Henry J. Ehlers |
David F Siemens Jr |
1977 |
| Logic |
Marianne Winslett |
Urs-Martin Künzi |
1977 |
| Jaakko Hintikka. Surface semantics: definition and its motivation. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| The logic of relevance and necessity |
Alan Ross Anderson |
Gordon Matthews |
1977 |
| An algebraic approach to non-classical logics |
Helena Rasiowa |
Anne Preller |
1977 |
| Computability and logic |
G Boolos |
Stephen Leeds |
1977 |
| Hugues Leblanc. Semantic deviations. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Nuel D. BelnapJr., and Dorothy L. Grover. Quantifying in and out of' quotes. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Logics and languages |
M. J. Cresswell |
Daniel Gallin |
1977 |
| Robert K. Meyer. Intuitionism, entailment, negation. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68 |
Melvin Fitting |
1977 |
| Boolean rings |
Alexander Abian |
R. S. Pierce |
1977 |
| Word Problems, Decision Problems and the Burnside Problem in Group Theory |
William W Boone |
C R J Clapham |
1976-12-01 |
| A Bridge to Advanced Mathematics |
Dennis Sentilles |
H B Enderton |
1976-09-01 |
| Essays in Analysis by Bertrand Russell |
Douglas P Lackey |
Alonzo Church |
1976-09-01 |
| Choice and chance. An introduction to inductive logic |
Brian Skyrms |
David F. Siemens |
1976 |
| Model theory |
C. C. Chang and H. J. Keisler |
Gebhard Fuhrken |
1976 |
| Introduction |
Peter Heath |
Alonzo Church |
1976 |
| Introduction to the logical design of switching systems |
H. C. Torng |
H. B. Enderton |
1976 |
| Introduction |
Peter Heath |
Alonzo Church |
1976 |
| Choice and chance. An introduction to inductive logic |
Brian Skyrms |
David F Siemens Jr |
1976 |
| Algébraičéskié sistémy. Russian original of the foregoing. Izdatél'stvo “Nauka,” Moscow |
A. I. Mal'cév |
Gershon Sageev |
1976 |
| Elements of combinatory logic |
Frederic B. Fitch |
Bruce Lercher |
1976 |
| Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol |
Seymour Ginsburg |
Arto Salamaa |
1976 |
| Model theory |
H J Keisler |
Gebhard Fuhrken |
1976 |
| Set theory |
Charles C. Pinter |
Paul C. Eklof |
1976 |
| Algebraic systems. English translation of Algébraičéskié sistémy by B. D. Seckler and A. P. Doohovskoy |
A. I. Mal'cev |
Donald Monk |
1976 |
| The theory of ultrafilters |
W W Comfort |
Andreas Blass |
1976 |
| Gambling with truth. An essay on induction and the aims of science |
Isaac Levi |
H. B. Enderton |
1976 |
| Set theory |
Shwu-Yeng T Lin |
Martin Helling |
1976 |
| Logic: depth grammar of rationality. A textbook on the science and history of logic |
Patrick K. Bastable |
G. T. Kneebone |
1976 |
| Logic: depth grammar of rationality. A textbook on the science and history of logic |
Patrick K. Bastable |
G. T. Kneebone |
1976 |
