The Ordinals of the Systems of Second Order Arithmetic with the Provably [delta]1/2-comprehension Axiom and with the [delta]1/2-comprehension Axiom Respectively
Auteur : Gaisi Takeuti, Mariko Yasugi
Date de publication : 1970
Éditeur : Carnegie Institute of Technology, Department of Mathematics
Nombre de pages : 135
Résumé du livre
Aucun résumé disponible pour ce livre.