Proof theory

Gaisi Takeuti
Bok · Språk ikke angitt · 1975

Utgitt	Amsterdam : North-Holland , 1975
Omfang	372 s.
Emner	Proof theory Bevisføring (Matematikk) Matematisk logikk
ISBN	0444879439. - 9780444879431