| Ewa Orłowska on Relational Methods in Logic and Computer Science |
Joanna Golińska-Pilarek |
Ingrid Rewitzky |
Studia Logica |
2021-04-01 |
| 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 |
| Logicism Renewed: Logical Foundations for Mathematics and Computer Science |
Paul C Gilmore |
Fairouz Kamareddine |
History and Philosophy of Logic |
2008-08-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 |
| 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 |
| 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 |
| Norms, Logics and Information Systems: New Studies in Deontic Logic and Computer Science |
P McNamara |
Lambèr Royakkers |
Studia Logica |
2002-07-01 |
| 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 |
| 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 |
| Semantics of type theory. Correctness, completeness and independence results. Progress in theoretical computer science |
Thomas Streicher |
Markus Marzetta |
The Journal of Symbolic Logic |
1995 |
| Logic and computer science |
Piergiorgio Odifreddi |
Grigori Mints |
The Journal of Symbolic Logic |
1994 |
| Truth, deduction, and computation. Logic and semantics for computer science |
R. E. Davis |
Nicolas D. Goodman |
The Journal of Symbolic Logic |
1992 |
| Comparability, complexity, and languages. Fundamentals of theoretical computer science |
Martin D. Davis and Elaine J. Weyuker |
Wolfgang Maass |
The Journal of Symbolic Logic |
1987 |
| Algebraic and automata-theoretic properties of formal languages. Fundamental studies in computer science, vol |
Seymour Ginsburg |
Arto Salomaa |
The Journal of Symbolic Logic |
1976 |
