Theories for Admissible Sets: A Unifying Approach to Proof Theory
Gerhard JagerКатегории:
Година:
1987
Издателство:
Humanities Pr
Език:
english
Страници:
167
ISBN 10:
8870881490
ISBN 13:
9788870881493
Серия:
Studies in Proof Theory Lecture Notes, Vol 2
Файл:
PDF, 4.69 MB
IPFS:
,
english, 1987