Result: An introduction to mathematical logic and type theory

*Title*:

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

*Author/editor-in-chief*:

Andrews, Peter Bruce

*Edition*:

2. ed.

*Publication*:

Dordrecht : Kluwer Acad. Publ., 2002

*Physical description scale*:

XVIII, 390 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Applied logic series ; 27
*show_all_volumes*

*Notes*:

Literaturverz. S. 371-380

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

1402007639

*Result*: An introduction to mathematical logic and type theory