Omega-Bibliography of Mathematical Logic / Proof Theory, Constructive Mathematics
Springer (Publisher)
Published in 1987
Book
XLI, 405 pages
978-3-540-15524-9 (ISBN)
More details
Series
Language
English
Place of publication
Berlin
Germany
Target group
College/higher education
Professional and scholarly
Weight
1250 gr
ISBN-13
978-3-540-15524-9 (9783540155249)
Schweitzer Classification