Logic Colloquium '86 (Logic Colloquim// Proceedings)
Contributors: J. K. Truss (Editor)
Publisher: Elsevier Science Publishing Company
Published: January 1988
Language: eng
Format: Hardcover
Number of pages: 352
ISBN-13: 9780444703262
Subjects: Mathematical foundations; Logic; Mathematical And Symbolic Logic; Mathematics; Science/Mathematics
Table of contents: title: The origins of forcing
pagenum: 143-173