Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
A. S. Troelstra (eds.)Категорії:
Рік:
1973
Видання:
1
Видавництво:
Springer-Verlag Berlin Heidelberg
Мова:
english
Сторінки:
488
ISBN 10:
0387064915
ISBN 13:
9780387064918
Серії:
Lecture Notes in Mathematics 344
Файл:
PDF, 21.39 MB
IPFS:
,
english, 1973
Скачування цієї книги недоступне за скаргою правовласника