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: