An introduction to mathematical logic and type theory/
An introduction to mathematical logic and type theory/ to truth through proof
Andrews,Peter B.
- 2nd ed.
- Dordrecht: Kluwer Academic Publishers, 2002.
- 390 p.
9781402007637
510 / AND/I
9781402007637
510 / AND/I