Author:
Martin Eric,Stephan Frank
Funder
National University of Singapore
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference19 articles.
1. Admissible Sets and Structures
2. Recursive models for constructive set theories;Beeson.;Annals of Mathematical Logic,1982
3. Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre;Fraenkel.;Mathematische Annalen,1922
4. Three theorems on recursive enumeration;Friedberg.;The Journal of Symbolic Logic,1958