TY - BOOK ID - 145244452 TI - A tribute to Maurice Boffa AU - Crabbé, Marcel AU - Point, Françoise AU - Michaux, Christian AU - Boffa, Maurice PY - 2001 PB - Bruxelles : Société mathématique de Belgique (SMB) = Belgisch wiskundig genootschap = Belgian mathematical society, DB - UniCat KW - Computable functions. KW - Model theory. KW - Logic, Symbolic and mathematical. KW - Fonctions calculables. KW - Théorie des modèles. KW - Logique mathématique. KW - Théorie des modèles KW - Logique mathématique UR - https://www.unicat.be/uniCat?func=search&query=sysid:145244452 AB - ER -