Treffer: An introduction to mathematical logic and type theory
Titel:
An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews
Beteiligt:
Ausgabe:
2. ed.
Veröffentlicht:
Dordrecht : Kluwer Acad. Publ., 2002
Umfang:
XVIII, 390 S.
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Applied logic series ; 27
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturverz. S. 371-380
RVK-Notation:
Schlagworte:
ISBN:
1402007639