TY - BOOK ID - 2775771 TI - Definability in arithmetics and computability AU - Michaux, Christian AU - Academia-Bruylant PY - 2000 VL - 11 SN - 2872095772 9782872095773 PB - Louvain-la-Neuve Academia-Bruylant DB - UniCat KW - Arithmétique KW - Logica KW - Logique KW - Rekenkunde UR - https://www.unicat.be/uniCat?func=search&query=sysid:2775771 AB - ER -