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
Discourses on Social Software
  • PDF
  • English
  • Year: 2009
  • Author: Jan van Eijck & Jan Eijck & Rineke Verbrugge
Discourses on Social Software
  • PDF
  • English
  • Year: 2010
  • Author: Eijck, Jan van;Verbrugge, Rineke
Discourses on Social Software
  • PDF
  • English
  • Year: 2010
  • Author: Eijck, Jan van;Verbrugge, Rineke
search