TY  - BOOK
AU  - Tricot, J
TI  - Traité de logique formelle
AV  - BC 135 T75.1930
PY  - 1930///
CY  - Paris
PB  - Librairie Philosophique J. Vrin
KW  - Lógica simbólica y matemática
ER  -