Logic and Automata : History and Perspectives

Logic and Automata : History and Perspectives Jörg Flum Pengarang Erich Grädel Pengarang Thomas Wilke Pengarang text | Logic and Automata