View in EDS HTML Full Text PDF Full Text

Implementing fragments of ZFC within an r.e. Universe.

Saved in:
Bibliographic Details
Title: Implementing fragments of ZFC within an r.e. Universe.
Authors: Martin, Eric1, eric.martin@unsw.edu.au, Stephan, Frank2
Source: Journal of Logic & Computation; Feb2018, Vol. 28 Issue 1, p1-32, 32p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:0955792X
DOI:10.1093/logcom/exx030