Cargando…

Constructive order types

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Crossley, John N.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, London, North-Holland Pub. Co., 1969.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 4500
001 SCIDIR_ocn297923093
003 OCoLC
005 20231117032827.0
006 m o d
007 cr unu---uuaua
008 090109s1969 ne ob 001 0 eng d
040 |a OCLCE  |b eng  |e pn  |c OCLCE  |d OCLCQ  |d OPELS  |d OCLCQ  |d OCLCO  |d OPELS  |d OCLCQ  |d OCLCF  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d LEAUB  |d INARC  |d LUN  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO  |d COM  |d OCLCQ  |d OCLCO 
015 |a Ne69-19 
019 |a 428102240  |a 563110224  |a 1086426991  |a 1148621779 
020 |a 9780444534200 
020 |a 0444534202 
035 |a (OCoLC)297923093  |z (OCoLC)428102240  |z (OCoLC)563110224  |z (OCoLC)1086426991  |z (OCoLC)1148621779 
042 |a dlr 
050 4 |a QA9  |b .C795 
082 0 4 |a 164 
084 |a 31.10  |2 bcl 
100 1 |a Crossley, John N. 
245 1 0 |a Constructive order types  |c [By] John N. Crossley. 
260 |a Amsterdam,  |a London,  |b North-Holland Pub. Co.,  |c 1969. 
300 |a 1 online resource (225 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Studies in logic and the foundations of mathematics 
504 |a Includes bibliographical references (pages 215-216). 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |5 MiAaHDL 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
588 0 |a Print version record. 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Logique symbolique et math�ematique.  |0 (CaQQLa)201-0001166 
650 7 |a Logic, Symbolic and mathematical  |2 fast  |0 (OCoLC)fst01002068 
650 1 7 |a Constructieve wiskunde.  |2 gtt 
776 0 8 |i Print version:  |a Crossley, John N.  |t Constructive order types.  |d Amsterdam, London, North-Holland Pub. Co., 1969  |w (DLC) 75078330  |w (OCoLC)30287 
830 0 |a Studies in logic and the foundations of mathematics. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444534200  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/56  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=56  |z Texto completo