Some models for intuitionistc finite type arithmetic with fan-functional
Troelstra, A.S.
ISBN
-
Uitgever
University of Amsterdam 1974 stencil
Taal
Maak uw keuze
Categorie
science,mathematics
Meer info
12 blz. Report 74-13 (code Sc-44)
Extra informatie
-
Heeft u vragen over het boek? Hier kunt u een vraag stellen.