An introduction to mathematical logic and type theory : to truth through proof

Peter B. Andrews
Bok · Engelsk · 1986

Annen tittel	An Introduction to Mathematical Logic and Type Theory
Utgitt	Orlando : Academic Press , 1986
Omfang	xv, 304 s.
Emner	Logic, Symbolic and mathematical. Type theory.
Dewey	511.3
ISBN	0120585359. - 0120585367