Logique mathématique cours et exercices 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Cori, René (VerfasserIn), Lascar, Daniel (VerfasserIn)
Format: Buch
Sprache:French
Veröffentlicht: Paris [u.a.] Masson 1994
Ausgabe:2. tir., corr.
Schriftenreihe:Axiomes
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cc4500
001 BV025742764
003 DE-604
005 00000000000000.0
007 t
008 100417s1994 |||| 00||| fre d
020 |a 2225840806  |9 2-225-84080-6 
035 |a (OCoLC)916611205 
035 |a (DE-599)BVBBV025742764 
040 |a DE-604  |b ger  |e rakwb 
041 0 |a fre 
049 |a DE-11 
084 |a SK 130  |0 (DE-625)143216:  |2 rvk 
100 1 |a Cori, René  |e Verfasser  |4 aut 
245 1 0 |a Logique mathématique  |b cours et exercices  |n 2  |p Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles  |c René Cori; Daniel Lascar 
250 |a 2. tir., corr. 
264 1 |a Paris [u.a.]  |b Masson  |c 1994 
300 |a XV, 347 S. 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
490 0 |a Axiomes 
700 1 |a Lascar, Daniel  |e Verfasser  |4 aut 
773 0 8 |w (DE-604)BV024974627  |g 2 
999 |a oai:aleph.bib-bvb.de:BVB01-019347096 

Datensatz im Suchindex

_version_ 1804141595973386240
any_adam_object
author Cori, René
Lascar, Daniel
author_facet Cori, René
Lascar, Daniel
author_role aut
aut
author_sort Cori, René
author_variant r c rc
d l dl
building Verbundindex
bvnumber BV025742764
classification_rvk SK 130
ctrlnum (OCoLC)916611205
(DE-599)BVBBV025742764
discipline Mathematik
edition 2. tir., corr.
format Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00980nam a2200313 cc4500</leader><controlfield tag="001">BV025742764</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100417s1994 |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2225840806</subfield><subfield code="9">2-225-84080-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)916611205</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025742764</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</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="100" ind1="1" ind2=" "><subfield code="a">Cori, René</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logique mathématique</subfield><subfield code="b">cours et exercices</subfield><subfield code="n">2</subfield><subfield code="p">Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles</subfield><subfield code="c">René Cori; Daniel Lascar</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. tir., corr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris [u.a.]</subfield><subfield code="b">Masson</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 347 S.</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="490" ind1="0" ind2=" "><subfield code="a">Axiomes</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lascar, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV024974627</subfield><subfield code="g">2</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019347096</subfield></datafield></record></collection>
id DE-604.BV025742764
illustrated Not Illustrated
indexdate 2024-07-09T22:18:23Z
institution BVB
isbn 2225840806
language French
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-019347096
oclc_num 916611205
open_access_boolean
owner DE-11
owner_facet DE-11
physical XV, 347 S.
publishDate 1994
publishDateSearch 1994
publishDateSort 1994
publisher Masson
record_format marc
series2 Axiomes
spelling Cori, René Verfasser aut
Logique mathématique cours et exercices 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles René Cori; Daniel Lascar
2. tir., corr.
Paris [u.a.] Masson 1994
XV, 347 S.
txt rdacontent
n rdamedia
nc rdacarrier
Axiomes
Lascar, Daniel Verfasser aut
(DE-604)BV024974627 2
spellingShingle Cori, René
Lascar, Daniel
Logique mathématique cours et exercices
title Logique mathématique cours et exercices
title_auth Logique mathématique cours et exercices
title_exact_search Logique mathématique cours et exercices
title_full Logique mathématique cours et exercices 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles René Cori; Daniel Lascar
title_fullStr Logique mathématique cours et exercices 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles René Cori; Daniel Lascar
title_full_unstemmed Logique mathématique cours et exercices 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles René Cori; Daniel Lascar
title_short Logique mathématique
title_sort logique mathematique cours et exercices fonctions recursives theoreme de godel theorie des ensembles theorie des modeles
title_sub cours et exercices
volume_link (DE-604)BV024974627
work_keys_str_mv AT corirene logiquemathematiquecoursetexercices2
AT lascardaniel logiquemathematiquecoursetexercices2