Result: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Title:
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof / by Peter B. Andrews
Contributors:
Andrews, Peter B (Verfasser)
Edition:
Second Edition
Published:
Dordrecht : Imprint: Springer, 2002
Description:
XVIII, 390 Seiten
Format:
E-Book
Language:
English
Series/ Mutipart item:
Applied logic series ; 27
Show all volumes
Other editions:
Elektronische Reproduktion von: Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. - Dordrecht : Imprint: Springer, 2002
Available edition:
Online-Ausgabe: Berlin : Springer, 2014. - 1 Online-Ressource. - (SpringerLink: Springer e-Books)
ISBN:
9789401599344 ; 9401599343 ; 9789048160792 (Sekundärausgabe) ; 9048160790 (Sekundärausgabe)
DOI:
10.1007/978-94-015-9934-4

Additional information

Additional functions