na INLIS000000000006868 20201217111704 0010-1220000007 ta 201217 | | | Jörg Flum Pengarang Logic and Automata : History and Perspectives Amsterdam : University Press, 2008 rdacontent Teks rdamedia Komputer rdacarrier Sumber Sambung Jaring Logic and Automata Erich Grädel Pengarang Thomas Wilke Pengarang