| Ewa Orłowska on Relational Methods in Logic and Computer Science |
Joanna Golińska-Pilarek |
Ingrid Rewitzky |
Studia Logica |
2021-04-01 |
| Temporal Logics in Computer Science — Finite-State Systems |
Stéphane Demri |
Kamal Lodaya |
The Bulletin of Symbolic Logic |
2017-06-00 |
| Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift |
Peter Paule |
|
Philosophia Mathematica |
2015-12-29 |
| Three Views of Logic: Mathematics, Philosophy and Computer Science |
Donald W. Loveland |
Patrick Allo |
Minds and Machines |
2015-08-01 |
| Finite model theory and its applications. Texts in Theoretical Computer Science |
E. Grädel |
Stephan Kreutzer |
The Bulletin of Symbolic Logic |
2010-09-00 |
| Alan Turing's Automatic Computing Engine: The Master Codebreaker's Struggle to Build the Modern Computer |
B Jack Copeland |
David Anderson |
History and Philosophy of Logic |
2008-11-01 |
| Logicism Renewed: Logical Foundations for Mathematics and Computer Science |
Paul C Gilmore |
Fairouz Kamareddine |
History and Philosophy of Logic |
2008-08-01 |
| The Genesis of Boole's Logic: Its History and a Computer Exploration |
L M Laita |
Michel Serfati |
History and Philosophy of Logic |
2008-02-01 |
| Logic in Computer Science: Modelling and Reasoning about Systems (2nd Edition) |
Michael Huth |
Valentin Goranko |
Journal of Logic, Language and Information |
2007-12-01 |
| Logicism Renewed: Logical Foundations for Mathematics and Computer Science |
Paul C Gilmore |
James H Andrews |
The Bulletin of Symbolic Logic |
2007-03-01 |
| Linear Logic in Computer Science |
T Ehrhard |
Andrzej S Murawski |
The Bulletin of Symbolic Logic |
2006-06-01 |
| Modal Logic (Cambridge Tracts in Theoretical Computer Science, No. 53) |
Patrick Blackburn |
Manuel Bremer |
Minds and Machines |
2005-02-01 |
| Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography |
Yves Nievergelt |
Walter A. Carnielli |
Studia Logica |
2004-12 |
| Term Rewriting Systems (Cambridge Tracts in Theoretical Computer Science, Vol. 55) |
Marc Bezem |
Jürgen Giesl |
The Bulletin of Symbolic Logic |
2004-06-01 |
| Automata, Logics, and Infinite Games: A Guide to Current Research (Lecture Notes in Computer Science, Vol. 2500) |
Erich Grädel |
David Janin |
The Bulletin of Symbolic Logic |
2004-03-01 |
| Engines of Logic. Mathematicians and the Origin of the Computer |
Martin Davis |
Jesus M Larrazabal |
Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria |
2003-04-01 |
| Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science |
P McNamara |
Lambèr Royakkers |
Studia Logica |
2002-07-01 |
| Engines of Logic. Mathematicians and the Origin of the Computer |
Martin Davis |
John W. Dawson |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science |
P McNamara |
Lambèr Royakkers |
History and Philosophy of Logic |
2002-01-01 |
| The Universal Computer. The Road from Leibniz to Turing |
Martin Davis |
John W. Dawson |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Structures in Logic and Computer Science |
J Mycielski |
Rohit Parikh |
Studia Logica |
2000-07-01 |
| Ch. Meyer and W. Van Der Hoek. Epistemic logic for AI and computer science |
J.-J |
Rineke Verbrugoe |
The Journal of Symbolic Logic |
1999 |
| Computability, complexity, and languages. Fundamentals of theoretical computer science. Second edition of LII 293. Computer science and scientific computing |
Martin D Davis |
H. B. Enderton |
The Journal of Symbolic Logic |
1996 |
| Logic from computer science, Proceedings of a workshop held November 13–17 |
Y. N. Moschovakis |
Helmut Schwichtenberg |
The Journal of Symbolic Logic |
1995 |
| Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science |
Thomas Streicher |
Markus Marzetta |
The Journal of Symbolic Logic |
1995 |
| The logical basis for computer programming. Volume I. Deductive reasoning |
Zohar Manna and Richard Waldinger |
Hans Kleine Büning |
The Journal of Symbolic Logic |
1995 |
| Logic of domains. Progress in theoretical computer science |
Guo-Qiang Zhang |
Manfred Droste |
The Journal of Symbolic Logic |
1994 |
| Logic and computer science |
Piergiorgio Odifreddi |
Grigori Mints |
The Journal of Symbolic Logic |
1994 |
| Canonical equational proofs. Progress in theoretical computer science |
Leo Bachmair |
John Pedersen |
The Journal of Symbolic Logic |
1992 |
| Truth, deduction, and computation. Logic and semantics for computer science |
R. E. Davis |
Nicolas D. Goodman |
The Journal of Symbolic Logic |
1992 |
| Logic for computer science. Foundations of automatic theorem proving |
Jean H. Gallier |
Frank Pfenning |
The Journal of Symbolic Logic |
1989 |
| Logic: A Computer Approach |
Morton Schagrin |
Gary Jason |
Philosophia |
1987-12-01 |
| Comparability, complexity, and languages. Fundamentals of theoretical computer science |
Martin D. Davis and Elaine J. Weyuker |
Wolfgang Maass |
The Journal of Symbolic Logic |
1987 |
| The computer modelling of mathematical reasoning |
Alan Bundy |
Vladimir Lifschitz |
The Journal of Symbolic Logic |
1987 |
| Logic: A Computer Approach |
M Schagrin |
Thomas Tymoczko |
Teaching Philosophy |
1986-03-01 |
| Axiomatising the logic of computer programming |
Robert Goldblatt |
Mitchell Wand |
The Journal of Symbolic Logic |
1985 |
| Automated theorem proving. A logical basis. Fundamental studies in computer science, vol |
Donald W. Loveland |
J. A. Robinson |
The Journal of Symbolic Logic |
1980 |
| Computer logic |
Alan Rose |
Richard J. Orgass |
The Journal of Symbolic Logic |
1978 |
| 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 |
| 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 M. Karp. Reducibility among combinatorial problems. Complexity of computer computations, Proceedings of a Symposium on the Complexity of Computer Computations, held March 20-22, 1972, at the IBM Thomas J. Watson Center, Yorktown Heights, New York |
Raymond E. Miller and James W. Thatcher |
Ronald V. Book |
The Journal of Symbolic Logic |
1975 |
| Logic and algorithms with applications to the computer and information sciences |
Robert R Korfhage |
Julia Blasco |
Teorema |
1974-01-01 |
| Computer-assisted instruction: Stanford's 1965–66 arithmetic program |
Patrick Suppes, Max Jerman, Dow Brian in collaboration with Diana Axelsen, Guy Groen, Lester Hyman, and Brian Tolliver |
Layman E. Allen |
The Journal of Symbolic Logic |
1971 |
| The Gödel incompleteness theorem and intelligent machines. AFIPS, Proceedings 1962 Spring Joint Computer Conference |
Frank B. Cannonito |
Perry Smith |
The Journal of Symbolic Logic |
1971 |
| Logic and algorithms with applications to the computer and information sciences |
Robert R. Korfhage |
Jiří Bečvář |
The Journal of Symbolic Logic |
1971 |
| A practical infinitistic computer |
L. Kalmár |
William E. Gould |
The Journal of Symbolic Logic |
1969-11-17 |
| A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| E. W. Beth. Observations concerning computing, deduction, and heuristics. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
Martin Davis |
The Journal of Symbolic Logic |
1968-04-26 |
| 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 |
| N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems |
P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics |
G. H. Matthews |
The Journal of Symbolic Logic |
1967-10-09 |
