TY - BOOK ID - 145609496 TI - Quantification theory PY - 1964 PB - London : Routledge and Kegan Paul, DB - UniCat KW - Calcul des prédicats. KW - Prédicat (logique) KW - Logique mathématique. UR - https://www.unicat.be/uniCat?func=search&query=sysid:145609496 AB - ER -