CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 1972 -
January 1972 -
Infinistic rules of proof and their semantics Article
Bulletin de l'Académie Polonaise des Sciences, 879-886.January 1972
-
Non-finite axiomatizability of the second order arithmetic Article
Bulletin de l'Académie Polonaise des Sciences, 347-348.January 1972
-
Omega-models in analytical hierarchy Article
Bulletin de l'Académie Polonaise des Sciences, 901-904.January 1972
-
Inleiding In Proceedings
January 1972
-
Lineaire meerstapsmethoden In Proceedings
January 1972
-
January 1972