The blind spot lectures on logic

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Girard, Jean-Yves 1947- (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Zürich European Mathematical Society [2011]
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 c 4500
001 BV040549182
003 DE-604
005 20240926
007 t|
008 121119s2011 xx |||| 00||| eng d
020 |a 9783037190883  |9 978-3-03719-088-3 
035 |a (OCoLC)759870636 
035 |a (DE-599)BVBBV040549182 
040 |a DE-604  |b ger  |e rda 
041 0 |a eng 
049 |a DE-20  |a DE-19  |a DE-83  |a DE-11  |a DE-12 
084 |a SK 130  |0 (DE-625)143216:  |2 rvk 
084 |a MAT 030f  |2 stub 
084 |a 03Fxx  |2 msc 
100 1 |a Girard, Jean-Yves  |d 1947-  |e Verfasser  |0 (DE-588)172098351  |4 aut 
245 1 0 |a The blind spot  |b lectures on logic  |c Jean-Yves Girard 
264 1 |a Zürich  |b European Mathematical Society  |c [2011] 
264 4 |c © 2011 
300 |a XIII, 537 Seiten 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
650 0 7 |a Beweistheorie  |0 (DE-588)4145177-6  |2 gnd  |9 rswk-swf 
650 0 7 |a Mathematische Logik  |0 (DE-588)4037951-6  |2 gnd  |9 rswk-swf 
689 0 0 |a Beweistheorie  |0 (DE-588)4145177-6  |D s 
689 0 1 |a Mathematische Logik  |0 (DE-588)4037951-6  |D s 
689 0 |5 DE-604 
776 0 8 |i Erscheint auch als  |n Online-Ausgabe  |z 978-3-03719-588-8 
943 1 |a oai:aleph.bib-bvb.de:BVB01-025394922 

Datensatz im Suchindex

DE-19_call_number 1699/SK 130 G517 B6+4
1699/SK 130 G517 B6+3
1601/SK 130 G517 B6
1699/SK 130 G517 B6+5
1699/SK 130 G517 B6
DE-19_location 95
DE-BY-UBM_katkey 4743467
DE-BY-UBM_media_number 41623385010016
41623385000014
41620566150016
41620566160018
41623352680017
_version_ 1823055211103518720
any_adam_object
author Girard, Jean-Yves 1947-
author_GND (DE-588)172098351
author_facet Girard, Jean-Yves 1947-
author_role aut
author_sort Girard, Jean-Yves 1947-
author_variant j y g jyg
building Verbundindex
bvnumber BV040549182
classification_rvk SK 130
classification_tum MAT 030f
ctrlnum (OCoLC)759870636
(DE-599)BVBBV040549182
discipline Mathematik
format Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01242nam a2200373 c 4500</leader><controlfield tag="001">BV040549182</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240926 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">121119s2011 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783037190883</subfield><subfield code="9">978-3-03719-088-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)759870636</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040549182</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Fxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Girard, Jean-Yves</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172098351</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The blind spot</subfield><subfield code="b">lectures on logic</subfield><subfield code="c">Jean-Yves Girard</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Zürich</subfield><subfield code="b">European Mathematical Society</subfield><subfield code="c">[2011]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 537 Seiten</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-03719-588-8</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025394922</subfield></datafield></record></collection>
id DE-604.BV040549182
illustrated Not Illustrated
indexdate 2025-02-03T17:41:49Z
institution BVB
isbn 9783037190883
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-025394922
oclc_num 759870636
open_access_boolean
owner DE-20
DE-19
DE-BY-UBM
DE-83
DE-11
DE-12
owner_facet DE-20
DE-19
DE-BY-UBM
DE-83
DE-11
DE-12
physical XIII, 537 Seiten
publishDate 2011
publishDateSearch 2011
publishDateSort 2011
publisher European Mathematical Society
record_format marc
spellingShingle Girard, Jean-Yves 1947-
The blind spot lectures on logic
Beweistheorie (DE-588)4145177-6 gnd
Mathematische Logik (DE-588)4037951-6 gnd
subject_GND (DE-588)4145177-6
(DE-588)4037951-6
title The blind spot lectures on logic
title_auth The blind spot lectures on logic
title_exact_search The blind spot lectures on logic
title_full The blind spot lectures on logic Jean-Yves Girard
title_fullStr The blind spot lectures on logic Jean-Yves Girard
title_full_unstemmed The blind spot lectures on logic Jean-Yves Girard
title_short The blind spot
title_sort the blind spot lectures on logic
title_sub lectures on logic
topic Beweistheorie (DE-588)4145177-6 gnd
Mathematische Logik (DE-588)4037951-6 gnd
topic_facet Beweistheorie
Mathematische Logik
work_keys_str_mv AT girardjeanyves theblindspotlecturesonlogic