Alles van: Peter B. Andrews
Resultaat 1 - 2 (van 2)
Peter B. Andrews An introduction to mathematical logic and type theory: to truth through proof
Non-fictie
Engels | 390 pagina's | Kluwer Academic Publishers, Dordrecht [etc.] | 2002
Gedrukt boek
Peter B. Andrews A transfinite type theory with type variables
Engels | 143 pagina's | North-Holland Publishing Company, Amsterdam | 1965
Gedrukt boek