TY - BOOK ID - 5517255 TI - Descriptive set theory PY - 1980 SN - 128228679X 9786612286797 0080963196 9780080963198 0444853057 9780444701992 6612286792 0444701990 PB - Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier-North Holland, DB - UniCat KW - Descriptive set theory. KW - Logic, Symbolic and mathematical. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism UR - https://www.unicat.be/uniCat?func=search&query=sysid:5517255 AB - Now available in paperback, this monograph is a self-contained exposition of the main results and methods of descriptive set theory. It develops all the necessary background material from logic and recursion theory, and treats both classical descriptive set theory and the effective theory developed by logicians. ER -