| 000 | 00512nmm a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 230125s9999||||xx |||||||||||||||||und|| | ||
| 020 | _a9783034604116 | ||
| 100 | _aOliver Schlaudt, Mohsen Sakhri | ||
| 245 | 0 | _aLouis Couturat -Traité de Logique algorithmique | |
| 250 | _a2010 | ||
| 260 |
_bSpringer Basel _c2010 |
||
| 440 | _aPublications des Archives Henri Poincaré Publications of the Henri Poincaré Archives | ||
| 650 | _aMathematics and Statistics | ||
| 856 | _uhttps://doi.org/10.1007/978-3-0346-0411-6 | ||
| 999 |
_c8862 _d8862 |
||