Set theory with a universal set : exploring an untyped universe /

Bibliographic Details
Main Author: Forster, T. E.
Format: Book
Published: Oxford : Clarendon Press, 1992.
Series:Oxford Logic Guides ; 20
Subjects:

MARC

LEADER 00000nam a2200000 4500
001 036240
003 AR-CdUFF
005 20150731111234.0
008 040513s1992____|||||||||||||||||||ld
020 |a 0-19-853395-0 
040 |a AR-CdUFF 
100 1 |a Forster, T. E. 
245 1 0 |a Set theory with a universal set : exploring an untyped universe /   |c T. E. Forster. 
260 |a Oxford :   |b Clarendon Press,   |c 1992. 
300 |a 152 p. ;   |c 23 cm 
490 0 |a Oxford Logic Guides ;   |v 20 
500 |a Bibliografía: p. 135-147 
505 0 |a 1.Introduction. Some motivations and axioms. 2.NF and related systems. Cardinal and ordinal arithmetic. The Kaye-Specker equiconsistency lemma. Remarks on subsystems, term models, and prefix classes. 3.Permutation models. 4.Interpretations in well-founded sets. 5.Open problems 
650 4 |a LOGICA 
650 4 |a TEORIA DE CONJUNTOS 
942 |c LIBRO 
910 |a 16 F 734 
952 |0 0  |1 0  |3 tela  |4 0  |6 16_F_734000000000000  |7 0  |9 52489  |a FFYH  |b FFYH  |c Humanidades  |d 2008-02-22  |e D-Conicor  |l 1  |o 16 F 734  |p 045407  |r 2010-10-13  |s 2009-12-28  |w 2009-06-29  |y LIBRO 
960 |a Corresponde a: Filosofia 
999 |c 39947  |d 39947