TY - BOOK ID - 145321161 TI - Sur un théorème de Skolem PY - 1964 PB - Bahia Blanca : Universidad Nacional del Sur, Instituto de Matemática, DB - UniCat KW - Hilbert algebras. KW - Hilbert, Algèbres de KW - Logique mathématique UR - https://www.unicat.be/uniCat?func=search&query=sysid:145321161 AB - ER -