Treffer: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Titel:
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof / by Peter B. Andrews
Beteiligt:
Ausgabe:
Second Edition
Veröffentlicht:
Dordrecht : Imprint: Springer, 2002
Umfang:
XVIII, 390 Seiten
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Applied logic series ; 27
alle Bände anzeigen
alle Bände anzeigen
Andere Ausgaben:
Elektronische Reproduktion von: Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. - Dordrecht : Imprint: Springer, 2002
Vorliegende Ausgabe:
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