Louis Couturat - traité de logique algorithmique
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | , |
| Dokumenttyp: | Book/Monograph |
| Sprache: | Englisch |
| Veröffentlicht: |
Basel
Springer Basel AG
2010
|
| Schriftenreihe: | Publications des Archives Henri Poincaré
Science autour de 1900 |
| Online-Zugang: | Cover: https://swbplus.bsz-bw.de/bsz337854734cov.jpg Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:1200.01051 |
| Verfasserangaben: | ed. by Oliver Schlaudt, Mohsen Sakhri. With an introduction and annomations by Oliver Schlaudt |
MARC
| LEADER | 00000cam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1608289885 | ||
| 003 | DE-627 | ||
| 005 | 20240822163744.0 | ||
| 007 | tu | ||
| 008 | 110223s2010 xx ||||| 00| ||eng c | ||
| 020 | |a 9783034604109 |9 978-3-0346-0410-9 | ||
| 035 | |a (DE-627)1608289885 | ||
| 035 | |a (DE-576)337854734 | ||
| 035 | |a (DE-599)BSZ337854734 | ||
| 035 | |a (OCoLC)707190634 | ||
| 035 | |a (OCoLC)707190634 | ||
| 035 | |a (ZBM)1200.01051 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 082 | 0 | |a 510.9 |q SEPA | |
| 084 | |a 27 |2 sdnb | ||
| 084 | |a 01A75 |2 msc | ||
| 084 | |a *01A75 |2 msc | ||
| 084 | |a 03-03 |2 msc | ||
| 084 | |a 03B05 |2 msc | ||
| 084 | |a 03A05 |2 msc | ||
| 084 | |a 03E20 |2 msc | ||
| 084 | |a 03G05 |2 msc | ||
| 100 | 1 | |a Couturat, Louis |d 1868-1914 |0 (DE-588)116705639 |0 (DE-627)133768732 |0 (DE-576)160632854 |4 aut | |
| 245 | 1 | 0 | |a Louis Couturat - traité de logique algorithmique |c ed. by Oliver Schlaudt, Mohsen Sakhri. With an introduction and annomations by Oliver Schlaudt |
| 246 | 1 | |i Ansetzungssachtitel |a Traité de logique algorithmique | |
| 264 | 1 | |a Basel |b Springer Basel AG |c 2010 | |
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
| 338 | |a Band |b nc |2 rdacarrier | ||
| 490 | 0 | |a Publications des Archives Henri Poincaré | |
| 490 | 0 | |a Science autour de 1900 | |
| 650 | 0 | |a Mathematics$xHistory | |
| 650 | 0 | |a Mathematics | |
| 700 | 1 | |a Schlaudt, Oliver |d 1978- |e Hrsg. |0 (DE-588)1077048521 |0 (DE-627)835878600 |0 (DE-576)188690034 |4 edt | |
| 700 | 1 | |a Sakhri, Mohsen |e Hrsg. |4 edt | |
| 776 | 1 | |z 9783034604116 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |a Schlaudt, Oliver, 1978 - |t Louis Couturat -Traité de Logique algorithmique |d Basel : Birkhäuser Basel, 2010 |h Online-Ressource (VIII, 317p, digital) |w (DE-627)1650412533 |w (DE-576)333458524 |z 9783034604116 |
| 856 | 4 | 2 | |u https://swbplus.bsz-bw.de/bsz337854734cov.jpg |m V:DE-576 |m X:springer |q image/jpeg |v 20150424123000 |3 Cover |
| 856 | 4 | 2 | |u https://zbmath.org/?q=an:1200.01051 |m B:ZBM |v 2021-04-12 |x Verlag |y Zentralblatt MATH |3 Inhaltstext |
| 951 | |a BO | ||
| 992 | |a 20221004 | ||
| 993 | |a Book | ||
| 998 | |g 1077048521 |a Schlaudt, Oliver |m 1077048521:Schlaudt, Oliver |d 70000 |d 70100 |d 70000 |e 70000PS1077048521 |e 70100PS1077048521 |e 70000PS1077048521 |k 0/70000/ |k 1/70000/70100/ |k 0/70000/ |p 1 |x j | ||
| 999 | |a KXP-PPN1608289885 |e 4194219511 | ||
| BIB | |a Y | ||
| JSO | |a {"titleAlt":[{"title":"Traité de logique algorithmique"}],"type":{"bibl":"book"},"language":["eng"],"recId":"1608289885","origin":[{"dateIssuedDisp":"2010","publisher":"Springer Basel AG","dateIssuedKey":"2010","publisherPlace":"Basel"}],"title":[{"title_sort":"Louis Couturat - traité de logique algorithmique","title":"Louis Couturat - traité de logique algorithmique"}],"id":{"eki":["1608289885"],"isbn":["9783034604109"]},"name":{"displayForm":["ed. by Oliver Schlaudt, Mohsen Sakhri. With an introduction and annomations by Oliver Schlaudt"]},"person":[{"role":"aut","display":"Couturat, Louis","given":"Louis","family":"Couturat"},{"family":"Schlaudt","given":"Oliver","roleDisplay":"Hrsg.","display":"Schlaudt, Oliver","role":"edt"},{"display":"Sakhri, Mohsen","roleDisplay":"Hrsg.","role":"edt","family":"Sakhri","given":"Mohsen"}]} | ||
| SRT | |a COUTURATLOLOUISCOUTU2010 | ||