Cargando…

Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Gödel '96 Brno, Czech Republic
Otros Autores: Hájek, Petr (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2017.
Colección:Lecture notes in logic ; 6.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ii 4500
001 EBSCO_ocn982287930
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu|||unuuu
008 170413s2017 enk o 100 0 eng d
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d N$T  |d YDX  |d UIU  |d OCLCF  |d OCLCQ  |d OCLCO  |d OCLCQ 
019 |a 982626309 
020 |a 9781316754740  |q (electronic bk.) 
020 |a 131675474X  |q (electronic bk.) 
020 |z 1107168023 
020 |z 9781107168022 
035 |a (OCoLC)982287930  |z (OCoLC)982626309 
050 4 |a QA9.A1 
072 7 |a MAT  |x 000000  |2 bisacsh 
082 0 4 |a 511.3  |2 23 
049 |a UAMI 
111 2 |a Gödel '96  |d (1996 :  |c Brno, Czech Republic) 
245 1 0 |a Gödel '96 :  |b Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /  |c edited by Petr Hájek. 
264 1 |a Cambridge :  |b Cambridge University Press,  |c 2017. 
300 |a 1 online resource 
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 Lecture notes in logic ;  |v 6 
588 0 |a Online resource; title from PDF title page (EBSCO, viewed April 18, 2017). 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Logic, Symbolic and mathematical  |v Congresses. 
650 0 |a Mathematics  |x Philosophy  |v Congresses. 
650 0 |a Computer science  |v Congresses. 
650 0 |a Mathematical physics  |v Congresses. 
650 6 |a Logique symbolique et mathématique  |v Congrès. 
650 6 |a Mathématiques  |x Philosophie  |v Congrès. 
650 6 |a Informatique  |v Congrès. 
650 6 |a Physique mathématique  |v Congrès. 
650 7 |a MATHEMATICS  |x General.  |2 bisacsh 
650 7 |a Computer science.  |2 fast  |0 (OCoLC)fst00872451 
650 7 |a Logic, Symbolic and mathematical.  |2 fast  |0 (OCoLC)fst01002068 
650 7 |a Mathematical physics.  |2 fast  |0 (OCoLC)fst01012104 
650 7 |a Mathematics  |x Philosophy.  |2 fast  |0 (OCoLC)fst01012213 
655 7 |a Conference papers and proceedings.  |2 fast  |0 (OCoLC)fst01423772 
700 1 |a Hájek, Petr,  |e editor. 
776 0 8 |i Print version:  |a Gödel '96 (1996 : Brno, Czech Republic).  |t Gödel '96.  |d Cambridge : Cambridge University Press, 2017  |z 1107168023  |z 9781107168022  |w (OCoLC)959593562 
830 0 |a Lecture notes in logic ;  |v 6. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1475796  |z Texto completo 
938 |a EBSCOhost  |b EBSC  |n 1475796 
938 |a YBP Library Services  |b YANK  |n 14007741 
994 |a 92  |b IZTAP