Doets, Hans Cornelis (1941-2024)
bron: https://www.illc.uva.nl/NewsandEvents/News/Obituaries/Kees-Doets/
| rdfs:label | "Doets, Hans Cornelis (1941-2024)" |
| schema:name | "Hans Cornelis Doets" |
|
schema:family |
"Doets" |
|
schema:given |
"Hans Cornelis" |
| schema:description | "bron: https://www.illc.uva.nl/NewsandEvents/News/Obituaries/Kees-Doets/" |
| "bron; http://www.olofspoort.nl/Img/Rouwkaart-H.C.Doets2024.pdf" | |
| schema:nationality | "nl" |
|
schema:birth |
"1941" |
|
schema:death |
"2024" |
|
schema:same |
<https:/ |
| wd:Q102333411 | |
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Doets, Hans Cornelis (1941-2024)
Basic model theory / Kees Doetsschema:ProductModel
Completeness and definability : applications of the Ehrenfeucht game in second-order and intensional logic / door Hans Cornelis Doetsschema:ProductModel
Levationis laus / Kees Doetsschema:ProductModel
Monadic π 1 1 - theory of complete orderings / by Kees Doetsschema:ProductModel
Notes on admissible model theory / by H.C. Doetsschema:ProductModel
Proper classes / Kees Doetsschema:ProductModel
Short proof(s) for classical theorems / Kees Doetsschema:ProductModel
Wijzer in wiskunde : een inleiding via logica en verzamelingen / H.C. Doetsschema:ProductModel
[ .. ] → schema:contributor → Doets, Hans Cornelis (1941-2024)
A new definition of SLDNF-resolution / K.R. Apt, H.C. Doetsschema:ProductModel
A new definition of SLDNF-resolution / Krzysztof R. Apt, Kees Doetsschema:ProductModel
Sets: naive, axiomatic and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students / by D. van Dalen, H. C. Doets [and] H. de Swart ; [transl. from the Dutch]schema:ProductModel
Verzamelingen : naïef, axiomatisch en toegepast / D. van Dalen, H.C. Doets, H.C.M. de Swartschema:ProductModel