Andrews, Peter Bruce, 1937- An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews

An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews . - 2nd ed. . - xxa Dordrecht xxa-fimyyc Kluwer Academic Publishers yyc-fim, cop. 2002 . - xviii, 390 p. 25 cm . - (Applied Logic Series; 27)
1402007639 encadernado
Lógica
Lógica simbólica
Lógica matemática

16
164