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

Email RIS file
Bookmark
Report an Issue

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

Author
Andrews, P. B. (Peter Bruce), 1937-
Published
Dordrecht ; Boston : Kluwer Academic Publishers, 2002.
Edition
2nd ed.
Physical Description
xviii, 390 pages : illustrations ; 25 cm.

Availability

Browse Nearby on Shelf
I Want It
I Want It

Finding items...

Series
Subject(s)
ISBN
1402007639 (alk. paper)
Bibliography Note
Includes bibliographical references (pages 371-380) and index.
View MARC record | catkey: 2359622