Completeness and validity for intuitionistic predicate logic
Troelstra, A.S.
ISBN
-
Uitgever
University of Amsterdam 1976 stencil
Taal
Maak uw keuze
Categorie
science,mathematics
Meer info
27 blz. Report 76-05 (code Sc-44)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.