|
|
|
|
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
|