Home Advanced Search

Advanced Search - Page 1

Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]
  • DJVU
  • English
  • Year: 1987
  • Author: Kees Doets
Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]
  • PDF
  • English
  • Year: 1987
  • Author: Kees Doets
From Logic to Logic Programming
  • PDF
  • English
  • Year: 1994
  • Author: Kees Doets
Basic Model Theory
  • PDF
  • English
  • Year: 1996
  • Author: Kees Doets
The Haskell Road to Logic, Maths and Programming
  • AZW3
  • English
  • Year: 2018
  • Author: Kees Doets, Jan van Eijck
The Haskell Road to Logic, Maths and Programming (Texts in Computing)
  • PDF
  • English
  • Year: 2004
  • Author: Kees Doets, van Jan Eijck
The Haskell road to logic, maths and programming
  • PDF
  • English
  • Year: 2004
  • Author: Kees Doets; J van Eijck
Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
  • DJVU
  • English
  • Year: 2010
  • Author: Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem
Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
  • DJVU
  • English
  • Year: 1997,2010
  • Author: Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan van Benthem (eds.)
Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995
  • PDF
  • English
  • Year: 1997
  • Author: E. G. Beltrametti (auth.), Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem (eds.)
search