| The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age |
J Von Plato |
L Bellotti |
History and Philosophy of Logic |
2019-02-01 |
| Proof, Computation and Agency: Logic at the Crossroads |
Johan Van Bentham |
Lorenz Demey |
Tijdschrift voor Filosofie |
2012-01-01 |
| Computation Engineering: Applied Automata Theory and Logic |
Ganesh Gopalakrishnan |
Hans-Jörg Tiede |
Journal of Logic, Language and Information |
2008-03-01 |
| Logic, Meaning, and Computation: Essays in Memory of Alonzo Church (Synthése Library vol. 305) |
C Anthony Anderson |
G Aldo Antonelli |
History and Philosophy of Logic |
2004-05-01 |
| Derivation and Computation. Taking the Curry-Howard Correspondence Seriously |
Harold Simmons |
Norman Danner |
The Bulletin of Symbolic Logic |
2001-09-00 |
| Logic, Language and Computation |
Seiki Akama |
Greg Restall |
Studia Logica |
2000-04-01 |
| Effective Logic Computation |
Klaus Truemper |
Lex Hendriks |
Journal of Logic, Language and Information |
1999-10-01 |
| Introduction to the theory of computation |
Michael Sipser |
Lance Fortnow |
The Journal of Symbolic Logic |
1999 |
| Logic, Language and Computation |
Seiki Akama |
Barbara Abbott |
Philosophy in Review |
1998-01-01 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
The Journal of Symbolic Logic |
1995 |
| Computation, Logic |
Hao Wang |
Thomas Tymoczko |
Mind |
1992-07-01 |
| Truth, deduction, and computation. Logic and semantics for computer science |
R. E. Davis |
Nicolas D. Goodman |
The Journal of Symbolic Logic |
1992 |
| An introduction to the theory of computation |
Eitan Gurari |
William I. Gasarch |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Computerizing mathematics: logic and computation |
Michael J. Beeson |
J. C. Shepherdson |
The Journal of Symbolic Logic |
1991 |
| Logics of time and computation |
Robert Goldblatt |
Rohit Parikh |
The Journal of Symbolic Logic |
1991 |
| Foundations of logic programming. Symbolic computation. Artifical intelligence |
J. W. Lloyd |
John C. Shepherdson |
The Journal of Symbolic Logic |
1987 |
| J. McCarthy. Towards a mathematical science of computation. Information processing 1962, Proceedings oflFIP Congress 62, organized by the International Federation for Information Processing, Munich, 27 August-1 September |
Cicely M. Popplewell |
Richard J. Orgass |
The Journal of Symbolic Logic |
1971 |
| A basis for a mathematical theory of computation, preliminary report. Proceedings of the Western Joint Computer Conference, Papers presented at the Joint IRE-AIEE-ACM Computer Conference, Los Angeles, Calif., May 9–11, 1961, Western Joint Computer Conference |
Zohar Manna |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| Computation |
Harry R Lewis |
Steven Orey |
The Journal of Symbolic Logic |
1964 |
