Home Advanced Search

Advanced Search - Page 1

Basic model theory
  • DJVU
  • English
  • Year: 1996
  • Author: Doets K.
The Haskell Road to Logic, Maths and Programming (Texts in Computing Series, Vol.4)
  • PDF
  • English
  • Year: 2004
  • Author: Doets K., van Eijck J., Mackie I. (Ed)
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 (Center for the Study of Language and Information - Lecture Notes)
  • DJVU
  • English
  • Year: 1996
  • Author: Kees Doets
Basic Model Theory
  • DJVU
  • English
  • Year: 1996
  • Author: Kees Doets
The Haskell Road to Logic, Maths and Programming
  • AZW3
  • English
  • Year: 2018
  • Author: Kees Doets, Jan van Eijck
search