Proof theory /

Proof theory / / Herman Ruge Jervell.

Saved in:
Bibliographic Details
VerfasserIn:
Jervell, Herman Ruge,
Place / Publishing House:Berlin : : Logos Verlag Berlin,, [2012]
2012
Year of Publication:2012
Language:English
Series:Compact Companion ; 3
Online Access:
Physical Description:1 online resource (131 pages).
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5005722993
ctrlnum (MiAaPQ)5005722993
(Au-PeEL)EBL5722993
(OCoLC)1089606153
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01460nam a2200385 i 4500</leader><controlfield tag="001">5005722993</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">190322s2012 gw o 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783832533038</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832589998</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5005722993</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL5722993</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1089606153</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">.J478 2012</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jervell, Herman Ruge,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof theory /</subfield><subfield code="c">Herman Ruge Jervell.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin :</subfield><subfield code="b">Logos Verlag Berlin,</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (131 pages).</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Compact Companion ;</subfield><subfield code="v">3</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, 2018. 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="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="a">Jervell, Herman Ruge.</subfield><subfield code="t">Proof theory.</subfield><subfield code="d">Berlin : Logos Verlag, c2012 </subfield><subfield code="h">131 pages </subfield><subfield code="k">Compact Companion ; 3 </subfield><subfield code="z">9783832533038</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5722993</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Jervell, Herman Ruge, author.
Proof theory / Herman Ruge Jervell.
Berlin : Logos Verlag Berlin, [2012]
2012
1 online resource (131 pages).
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Compact Companion ; 3
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Proof theory.
Electronic books.
Print version: Jervell, Herman Ruge. Proof theory. Berlin : Logos Verlag, c2012 131 pages Compact Companion ; 3 9783832533038
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5722993 Click to View
language English
format eBook
author Jervell, Herman Ruge,
spellingShingle Jervell, Herman Ruge,
Proof theory /
Compact Companion ;
author_facet Jervell, Herman Ruge,
author_variant h r j hr hrj
author_role VerfasserIn
author_sort Jervell, Herman Ruge,
title Proof theory /
title_full Proof theory / Herman Ruge Jervell.
title_fullStr Proof theory / Herman Ruge Jervell.
title_full_unstemmed Proof theory / Herman Ruge Jervell.
title_auth Proof theory /
title_new Proof theory /
title_sort proof theory /
series Compact Companion ;
series2 Compact Companion ;
publisher Logos Verlag Berlin,
publishDate 2012
physical 1 online resource (131 pages).
isbn 9783832589998
9783832533038
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.54 J478 42012
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5722993
illustrated Not Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3
dewey-sort 3511.3
dewey-raw 511.3
dewey-search 511.3
oclc_num 1089606153
work_keys_str_mv AT jervellhermanruge prooftheory
status_str n
ids_txt_mv (MiAaPQ)5005722993
(Au-PeEL)EBL5722993
(OCoLC)1089606153
carrierType_str_mv cr
is_hierarchy_title Proof theory /
_version_ 1792331000904155136

Similar Items