Introduction à la logique: théorie de la démonstration ; cours et exercices corrigés
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | French |
| Published: |
Paris
Dunod
2001
|
| Series: | Sciences SUP
|
| Subjects: | |
| Physical Description: | XII, 332 S. |
| ISBN: | 2100048929 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013931600 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 010927s2001 |||| 00||| fre d | ||
| 020 | |a 2100048929 |9 2-10-004892-9 | ||
| 035 | |a (OCoLC)47215645 | ||
| 035 | |a (DE-599)BVBBV013931600 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-19 | ||
| 050 | 0 | |a QA9 D38 2001 | |
| 082 | 0 | |a 511.3 |b DAV |2 21 | |
| 100 | 1 | |a David, René |d 1906-1990 |e Verfasser |0 (DE-588)124469973 |4 aut | |
| 245 | 1 | 0 | |a Introduction à la logique |b théorie de la démonstration ; cours et exercices corrigés |c René David ; Karim Nour ; Christophe Raffalli |
| 264 | 1 | |a Paris |b Dunod |c 2001 | |
| 300 | |a XII, 332 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Sciences SUP | |
| 650 | 7 | |a Logique intuitionniste - Problèmes et exercices |2 ram | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique - Problèmes et exercices |2 ram | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 4 | |a Raisonnement | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a logique intuitionniste |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique ordre élevé |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 700 | 1 | |a Nour, Karim |e Verfasser |4 aut | |
| 700 | 1 | |a Raffalli, Christophe |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009533239 | ||
Record in the Search Index
| _version_ | 1804128777045803008 |
|---|---|
| any_adam_object | |
| author | David, René 1906-1990 Nour, Karim Raffalli, Christophe |
| author_GND | (DE-588)124469973 |
| author_facet | David, René 1906-1990 Nour, Karim Raffalli, Christophe |
| author_role | aut aut aut |
| author_sort | David, René 1906-1990 |
| author_variant | r d rd k n kn c r cr |
| building | Verbundindex |
| bvnumber | BV013931600 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 D38 2001 |
| callnumber-raw | QA9 D38 2001 |
| callnumber-search | QA9 D38 2001 |
| callnumber-sort | QA 19 D38 42001 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)47215645 (DE-599)BVBBV013931600 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01478nam a2200433 c 4500</leader><controlfield tag="001">BV013931600</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010927s2001 |||| 00||| fre d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2100048929</subfield><subfield code="9">2-10-004892-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)47215645</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013931600</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-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9 D38 2001</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="b">DAV</subfield><subfield code="2">21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">David, René</subfield><subfield code="d">1906-1990</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124469973</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction à la logique</subfield><subfield code="b">théorie de la démonstration ; cours et exercices corrigés</subfield><subfield code="c">René David ; Karim Nour ; Christophe Raffalli</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Dunod</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 332 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">Sciences SUP</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique intuitionniste - Problèmes et exercices</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique - Problèmes et exercices</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique intuitionniste</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique ordre élevé</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nour, Karim</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Raffalli, Christophe</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009533239</subfield></datafield></record></collection> |
| id | DE-604.BV013931600 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:54:38Z |
| institution | BVB |
| isbn | 2100048929 |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009533239 |
| oclc_num | 47215645 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM |
| owner_facet | DE-19 DE-BY-UBM |
| physical | XII, 332 S. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Dunod |
| record_format | marc |
| series2 | Sciences SUP |
| spelling | David, René 1906-1990 Verfasser (DE-588)124469973 aut Introduction à la logique théorie de la démonstration ; cours et exercices corrigés René David ; Karim Nour ; Christophe Raffalli Paris Dunod 2001 XII, 332 S. txt rdacontent n rdamedia nc rdacarrier Sciences SUP Logique intuitionniste - Problèmes et exercices ram Logique symbolique et mathématique Logique symbolique et mathématique - Problèmes et exercices ram Preuve, Théorie de la Raisonnement logique 1er ordre inriac logique intuitionniste inriac logique mathématique inriac logique ordre élevé inriac théorie démonstration inriac Nour, Karim Verfasser aut Raffalli, Christophe Verfasser aut |
| spellingShingle | David, René 1906-1990 Nour, Karim Raffalli, Christophe Introduction à la logique théorie de la démonstration ; cours et exercices corrigés Logique intuitionniste - Problèmes et exercices ram Logique symbolique et mathématique Logique symbolique et mathématique - Problèmes et exercices ram Preuve, Théorie de la Raisonnement logique 1er ordre inriac logique intuitionniste inriac logique mathématique inriac logique ordre élevé inriac théorie démonstration inriac |
| title | Introduction à la logique théorie de la démonstration ; cours et exercices corrigés |
| title_auth | Introduction à la logique théorie de la démonstration ; cours et exercices corrigés |
| title_exact_search | Introduction à la logique théorie de la démonstration ; cours et exercices corrigés |
| title_full | Introduction à la logique théorie de la démonstration ; cours et exercices corrigés René David ; Karim Nour ; Christophe Raffalli |
| title_fullStr | Introduction à la logique théorie de la démonstration ; cours et exercices corrigés René David ; Karim Nour ; Christophe Raffalli |
| title_full_unstemmed | Introduction à la logique théorie de la démonstration ; cours et exercices corrigés René David ; Karim Nour ; Christophe Raffalli |
| title_short | Introduction à la logique |
| title_sort | introduction a la logique theorie de la demonstration cours et exercices corriges |
| title_sub | théorie de la démonstration ; cours et exercices corrigés |
| topic | Logique intuitionniste - Problèmes et exercices ram Logique symbolique et mathématique Logique symbolique et mathématique - Problèmes et exercices ram Preuve, Théorie de la Raisonnement logique 1er ordre inriac logique intuitionniste inriac logique mathématique inriac logique ordre élevé inriac théorie démonstration inriac |
| topic_facet | Logique intuitionniste - Problèmes et exercices Logique symbolique et mathématique Logique symbolique et mathématique - Problèmes et exercices Preuve, Théorie de la Raisonnement logique 1er ordre logique intuitionniste logique mathématique logique ordre élevé théorie démonstration |
| work_keys_str_mv | AT davidrene introductionalalogiquetheoriedelademonstrationcoursetexercicescorriges AT nourkarim introductionalalogiquetheoriedelademonstrationcoursetexercicescorriges AT raffallichristophe introductionalalogiquetheoriedelademonstrationcoursetexercicescorriges |