Theories for admissible sets : a unifying approach to proof theory

Gerhard Jäger
Bok · Engelsk · 1986

Utgitt	Napoli : Bibliopolis , c1986
Omfang	167 s.
Emner	Admissible sets Proof theory Bevisføring (Matematikk) Mengdelære
ISBN	8870881490