Home Advanced Search

Advanced Search - Page 1

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
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
From Logic to Logic Programming
  • PDF
  • English
  • Year: 1994
  • Author: Kees Doets
Basic Model Theory
  • DJVU
  • English
  • Year: 1996
  • Author: Kees Doets
Basic Model Theory (Center for the Study of Language and Information - Lecture Notes)
  • DJVU
  • English
  • Year: 1996
  • Author: Kees Doets
search