Cargando…

Concepts of proof in mathematics, philosophy, and computer science /

This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Probst, Dieter, 1973- (Editor ), Schuster, Peter, 1967- (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin : De Gruyter, [2016]
Colección:Ontos mathematical logic ; v. 6.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 i 4500
001 EBSCO_ocn958120545
003 OCoLC
005 20231017213018.0
006 m o d
007 cr |n|||||||||
008 160701s2016 gw ob 000 0 eng d
040 |a IDEBK  |b eng  |e rda  |e pn  |c IDEBK  |d OCLCO  |d EBLCP  |d YDX  |d N$T  |d OCLCQ  |d OCLCF  |d CCO  |d MERUC  |d FEM  |d LOA  |d COCUF  |d K6U  |d PIFAG  |d FVL  |d OTZ  |d COO  |d OCLCQ  |d IGB  |d AGLDB  |d ZCU  |d D6H  |d CN8ML  |d OCLCQ  |d VTS  |d ICG  |d VT2  |d OCLCQ  |d WYU  |d S9I  |d STF  |d DKC  |d OCLCQ  |d AJS  |d QGK  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 958095513  |a 959272148  |a 960975570  |a 962412356  |a 965141878  |a 966184342  |a 967096922  |a 992497320  |a 993695062  |a 994897934  |a 999641837  |a 1000435869  |a 1001989274  |a 1259195309 
020 |a 150150262X  |q (electronic bk.) 
020 |a 9781501502620  |q (electronic bk.) 
020 |a 9781501502644  |q (electronic bk.) 
020 |a 1501502646  |q (electronic bk.) 
020 |z 9781501502620 
020 |z 1501502638 
020 |z 1501502646 
020 |z 1501510800 
020 |z 9781501510809  |q (hardcover ;  |q alk. paper) 
024 7 |a 10.1515/9781501502620  |2 doi 
029 1 |a DEBBG  |b BV044061702 
035 |a (OCoLC)958120545  |z (OCoLC)958095513  |z (OCoLC)959272148  |z (OCoLC)960975570  |z (OCoLC)962412356  |z (OCoLC)965141878  |z (OCoLC)966184342  |z (OCoLC)967096922  |z (OCoLC)992497320  |z (OCoLC)993695062  |z (OCoLC)994897934  |z (OCoLC)999641837  |z (OCoLC)1000435869  |z (OCoLC)1001989274  |z (OCoLC)1259195309 
037 |a 947521  |b MIL 
050 4 |a QA9.54  |b .C67 2016eb 
072 7 |a QA  |2 lcco 
072 7 |a MAT  |x 000000  |2 bisacsh 
082 0 4 |a 511.3/6  |2 23 
049 |a UAMI 
245 0 0 |a Concepts of proof in mathematics, philosophy, and computer science /  |c edited by Dieter Probst and Peter Schuster. 
264 1 |a Berlin :  |b De Gruyter,  |c [2016] 
300 |a 1 online resource (x, 374 pages .) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file 
490 1 |a Ontos mathematical logic,  |x 2198-2341 ;  |v Volume 6 
504 |a Includes bibliographical references. 
588 0 |a Print version record. 
520 |a This book provides the reader with research arising from the Humboldt-Kolleg 'Proof' held in Bern in fall 2013, which gathered leading experts actively involved with the concept 'proof' in philosophy, mathematics and computer science. This volume aims to do justice to the breadth and depth of the subject and presents relevant current conceptions and technical advances featuring 'proof' in those fields. 
546 |a In English. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Proof theory. 
650 0 |a Mathematics. 
650 0 |a Logic, Symbolic and mathematical. 
650 2 |a Mathematics 
650 6 |a Théorie de la preuve. 
650 6 |a Mathématiques. 
650 6 |a Logique symbolique et mathématique. 
650 7 |a MATHEMATICS  |x General.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
650 7 |a Mathematics  |2 fast 
650 7 |a Proof theory  |2 fast 
700 1 |a Probst, Dieter,  |d 1973-  |e editor. 
700 1 |a Schuster, Peter,  |d 1967-  |e editor. 
776 0 8 |i Print version:  |z 9781501502620 
830 0 |a Ontos mathematical logic ;  |v v. 6. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1336471  |z Texto completo 
936 |a BATCHLOAD 
938 |a EBL - Ebook Library  |b EBLB  |n EBL4644584 
938 |a EBSCOhost  |b EBSC  |n 1336471 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n cis31249444 
938 |a YBP Library Services  |b YANK  |n 12213985 
994 |a 92  |b IZTAP