Format:
XVIII, 390 S.
Edition:
2. ed.
ISBN:
1-4020-0763-9
,
978-90-481-6079-2
Series Statement:
Applied logic series 27
Note:
Hier auch später erschienene, unveränderte Nachdrucke
Language:
English
Subjects:
Mathematics
,
Philosophy
Keywords:
Mathematische Logik
;
Beweisbarkeit
;
Typentheorie
;
Normalform
;
Vollständigkeit
;
Deduktion
;
Interpolation
;
Herbrand-Satz
;
Dualität
URL:
http://www.loc.gov/catdir/enhancements/fy0814/2002031656-d.html