Omega-Bibliography of Mathematical Logic VI
Subtitle: Proof Theory, Constructive Mathematics (Perspectives in Mathematical Logic)
Contributors: Jane E. Kister (Editor); Dirk, van Dalen (Editor); Anne Troelstra (Editor); Gert H. Müller (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 2, 1987
Language: eng
Format: Hardcover
Number of pages: 405
ISBN-13: 9783540155249
Subjects: Logic; Mathematics / Logic; Mathematics; Mathematical logic; Set theory