TY  - DATA
AU  - Oliver Schlaudt, Mohsen Sakhri
TI  - Louis Couturat -Traité de Logique algorithmique
SN  - 9783034604116
PY  - 2010///
PB  - Springer Basel
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-3-0346-0411-6
ER  -