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

Concepts of proof in mathematics, philosophy, and computer science / / edited by Dieter Probst and Peter Schuster.

Saved in:
Bibliographic Details
Superior document:Ontos Mathematical Logic, Volume 6
Place / Publishing House:Berlin, [Germany] ;, Boston, [Massachusetts] : : De Gruyter,, 2016.
2016
Year of Publication:2016
Language:English
Series:Ontos mathematical logic ; Volume 6.
Online Access:
Physical Description:1 online resource (384 pages) :; illustrations, tables.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5004644584
ctrlnum (MiAaPQ)5004644584
(Au-PeEL)EBL4644584
(CaPaEBR)ebr11247831
(CaONFJC)MIL947521
(OCoLC)958120545
collection bib_alma
record_format marc
spelling Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.
Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016.
2016
1 online resource (384 pages) : illustrations, tables.
text rdacontent
computer rdamedia
online resource rdacarrier
Ontos Mathematical Logic, 2198-2341 ; Volume 6
Includes bibliographical references at the end of each chapters.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Proof theory.
Mathematics.
Logic, Symbolic and mathematical.
Electronic books.
Print version: Concepts of proof in mathematics, philosophy, and computer science. Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, c2016 x, 374 pages Ontos Mathematical Logic ; Volume 6 9781501510809 2016030276
ProQuest (Firm)
Ontos mathematical logic ; Volume 6.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4644584 Click to View
language English
format eBook
title Concepts of proof in mathematics, philosophy, and computer science /
spellingShingle Concepts of proof in mathematics, philosophy, and computer science /
Ontos Mathematical Logic,
title_full Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.
title_fullStr Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.
title_full_unstemmed Concepts of proof in mathematics, philosophy, and computer science / edited by Dieter Probst and Peter Schuster.
title_auth Concepts of proof in mathematics, philosophy, and computer science /
title_new Concepts of proof in mathematics, philosophy, and computer science /
title_sort concepts of proof in mathematics, philosophy, and computer science /
series Ontos Mathematical Logic,
series2 Ontos Mathematical Logic,
publisher De Gruyter,
publishDate 2016
physical 1 online resource (384 pages) : illustrations, tables.
isbn 9781501502620
9781501502644
9781501510809
issn 2198-2341 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.54 C663 42016
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4644584
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3/6
dewey-sort 3511.3 16
dewey-raw 511.3/6
dewey-search 511.3/6
oclc_num 958120545
status_str n
ids_txt_mv (MiAaPQ)5004644584
(Au-PeEL)EBL4644584
(CaPaEBR)ebr11247831
(CaONFJC)MIL947521
(OCoLC)958120545
hierarchy_parent_title Ontos Mathematical Logic, Volume 6
hierarchy_sequence Volume 6.
is_hierarchy_title Concepts of proof in mathematics, philosophy, and computer science /
container_title Ontos Mathematical Logic, Volume 6
_version_ 1792330921562603521
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01988nam a2200457 i 4500</leader><controlfield tag="001">5004644584</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200917021826.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">160903t20162016gw a ob 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781501510809</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781501502620</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781501502644</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5004644584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL4644584</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11247831</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL947521</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)958120545</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.C663 2016</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/6</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Concepts of proof in mathematics, philosophy, and computer science /</subfield><subfield code="c">edited by Dieter Probst and Peter Schuster.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, [Germany] ;</subfield><subfield code="a">Boston, [Massachusetts] :</subfield><subfield code="b">De Gruyter,</subfield><subfield code="c">2016.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (384 pages) :</subfield><subfield code="b">illustrations, tables.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Ontos Mathematical Logic,</subfield><subfield code="x">2198-2341 ;</subfield><subfield code="v">Volume 6</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references at the end of each chapters.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Concepts of proof in mathematics, philosophy, and computer science.</subfield><subfield code="d">Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, c2016 </subfield><subfield code="h">x, 374 pages </subfield><subfield code="k">Ontos Mathematical Logic ; Volume 6 </subfield><subfield code="z">9781501510809 </subfield><subfield code="w">2016030276</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Ontos mathematical logic ;</subfield><subfield code="v">Volume 6.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4644584</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items