Doets, Kees books & textbook
The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing) by Kees Doets (2004-05-07)
College Publications / Paperback
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (Synthese Library)
Dalla Chiara, Maria Luisa Doets, Kees Mundici, Daniele van Benthem, Johan
Springer /2010-12-07 Paperback / 552 Pages
isbn-10: 9048147867 / isbn-13: 9789048147861
Basic Model Theory (Studies in Logic, Language, and Information)
Center for the Study of Language and Inf /1996-06-01 Paperback / 600 Pages
isbn-10: 1575860481 / isbn-13: 9781575860480
From Logic to Logic Programming (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Mit Pr /1994-01-11 Hardcover / 228 Pages
isbn-10: 0262041421 / isbn-13: 9780262041423
Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995 (Synthese Library)
Dalla Chiara, Maria Luisa Doets, Kees Mundici, Daniele van Benthem, Johan
Springer /2010-12-09 Paperback / 512 Pages
isbn-10: 9048147875 / isbn-13: 9789048147878
