| Mathematical foundations of computer science, 3rd symposium at Jadwisin near Warsaw, June 17–22 |
A. Blikle |
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 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| Combinatorial functors |
J. N. Crossley and Anil Nerode |
Carl E. Bredlau |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| From mathematics to philosophy. International library of philosophy and scientific method |
Hao Wang |
John P. Burgess |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol |
Daniel Gallin |
Kenneth A. Bowen |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| Three languages and theories |
Logic in algebraic form |
Stephen D. Comer |
1977 |
| Modal Thinking |
Alan R. White |
William H. Hanson |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| Formal languages |
Arto Saloma |
Andrzej Blikle |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
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 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
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 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
Melvin Fitting |
1977 |
| Logics and Languages |
M. J. Cresswell |
Daniel Gallin |
1977 |
| Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics |
Hugues Leblanc |
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 |
