Theories for admissible sets : a unifying approach to proof theory


Gerhard Jäger
Bok Engelsk 1986

Detaljer

Bibliotek som har denne