An accompaniment to higher mathematics

George R. Exner
Bok · Engelsk · 1996

Utgitt	New York : Springer , c1996
Omfang	XVII, 198 s. : ill.
Emner	Proof theory Bevisføring (Matematikk) Logikk Matematisk logikk matematisk logikk
ISBN	0387946179