Scan barcode
134 pages • missing pub info (editions)
ISBN/UID: 9781848901407
Format: Paperback
Language: English
Publisher: College Publications
Publication date: 28 February 2014
Description
While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in par...
Community Reviews
Content Warnings
134 pages • missing pub info (editions)
ISBN/UID: 9781848901407
Format: Paperback
Language: English
Publisher: College Publications
Publication date: 28 February 2014
Description
While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in par...
Community Reviews
Content Warnings