Implementing fragments of ZFC within an r.e. Universe

Martin E, Stephan F.
Oxford University Press
Published 2018

Publication Date:	2018-03-06
Publisher:	Oxford University Press
Print ISSN:	0955-792X
Electronic ISSN:	1465-363X
Topics:	Computer Science Mathematics
Published by:	http://global.oup.com/