Format:
XV, 621 S.
,
Ill., graph. Darst.
Edition:
Rev. ed.
ISBN:
0444867481
Series Statement:
Studies in logic and the foundations of mathematics 103
Language:
English
Subjects:
Comparative Studies. Non-European Languages/Literatures
,
Mathematics
,
Philosophy
Keywords:
Mathematische Logik
;
Lambda-Kalkül
;
Beweistheorie
Bookmarklink