Cargando…

Intuitionism : an introduction /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Heyting, A. (Arend), 1898-1980
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : North-Holland, 1956.
Colección:Studies in logic and the foundations of mathematics ; v. 17.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn428102035
003 OCoLC
005 20231117032826.0
006 m o d
007 cr cn|||||||||
008 090728s1956 ne ob 001 0 eng d
040 |a OPELS  |b eng  |e pn  |c OPELS  |d OCLCQ  |d OCLCE  |d OCLCQ  |d OPELS  |d OCLCO  |d OCLCF  |d OCLCQ  |d DEBSZ  |d LEAUB  |d LUN  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCQ  |d UAB 
019 |a 301025955  |a 559905505  |a 1086439361  |a 1159180278 
020 |a 9780444533821 
020 |a 0444533826 
035 |a (OCoLC)428102035  |z (OCoLC)301025955  |z (OCoLC)559905505  |z (OCoLC)1086439361  |z (OCoLC)1159180278 
042 |a dlr 
050 4 |a QA9.47  |b .I58 1956 
082 0 4 |a 511.3/6  |2 22 
084 |a 31.10  |2 bcl 
245 0 0 |a Intuitionism :  |b an introduction /  |c edited by A. Heyting. 
260 |a Amsterdam :  |b North-Holland,  |c 1956. 
300 |a 1 online resource (viii, 133 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 ;  |v v. 17 
505 0 |a Disputation -- Arithmetic -- Spreads and species -- Algebra -- Plane pointspecies -- Measure and integration -- Logic -- Controversial subjects. 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
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 
650 0 |a Intuitionistic mathematics. 
650 0 |a Logic, Symbolic and mathematical. 
650 6 |a Math�ematiques intuitionnistes.  |0 (CaQQLa)201-0025538 
650 6 |a Logique symbolique et math�ematique.  |0 (CaQQLa)201-0001166 
650 7 |a Intuitionistic mathematics.  |2 fast  |0 (OCoLC)fst00977860 
650 7 |a Logic, Symbolic and mathematical.  |2 fast  |0 (OCoLC)fst01002068 
700 1 |a Heyting, A.  |q (Arend),  |d 1898-1980. 
776 0 8 |i Print version:  |a Heyting, A. (Arend), 1898-  |t Intuitionism.  |d Amsterdam, North-Holland Pub. Co., 1956  |w (DLC)a 56005741  |w (OCoLC)3097797 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 17. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444533821  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/17  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=17  |z Texto completo