Kees Doets · 5 obras en el catálogoObrasSwords and sustenanceBasic model theory1996From logic to logic programming1994HHaskell Road to Logic, Maths and Programming. Second EditionHaskell Road to Logic, Maths and Programming. Second EditionCCompleteness and definabilityCompleteness and definability
HHaskell Road to Logic, Maths and Programming. Second EditionHaskell Road to Logic, Maths and Programming. Second Edition