Absoluteness of intuitionistic logic / D.M.R. Leivant
http://data.bibliotheken.nl/id/nbt/p800522494 an entity of type: CreativeWork
Absoluteness of intuitionistic logic / D.M.R. Leivant
906196122X
Eerder verschenen als proefschrift Amsterdam, 1975
en
Absoluteness of intuitionistic logic
xsd:integer
137
blank nodes
xsd:gYear
1979
800522494
xsd:date
1980-03-04
xsd:date
2021-10-11