TY - BOOK ID - 5147877 TI - Abstract automath PY - 1983 VL - 160 SN - 9061962560 PB - Amsterdam Mathematisch centrum DB - UniCat KW - AUTOMATH (Formal language) KW - AUTOMATH (Langage formel) KW - 681.3*F11 KW - Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} KW - 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} UR - https://www.unicat.be/uniCat?func=search&query=sysid:5147877 AB - ER -