Format:
XVII, 760 S.
,
23cm
Edition:
paperback ed.
ISBN:
0444508538
,
0444501703
,
9780444508539
Series Statement:
Studies in logic and the foundations of mathematics 141
Note:
Literaturverz. S. 717 - 733
Language:
English
Subjects:
Philosophy
Keywords:
Typentheorie
;
Kategorielle Logik