00873nam a22002897a 4500 20230512223047.0 190425t xxu||||| |||| 00| 0 eng d 9781773612713 CSPC 511.3 Au823 Automata theory and logic Canada: Arcler Press, 2018. xv, 335 pages: figures, tables; 25 cm. rdacontent text rdamedia unmediated rdacarrier volume Includes index, Includes bibliographical references. Machine theory. Computational complexity. Logic, Symbolic and mathematics. Gerard Prudhomme editor Lenie BOOK CIR 511.3 Au823 2018 0 0 LC 0 0 CSPC CSPC CIR 2023-05-12 0 CIR 511.3 Au823 2018 020224 2023-05-12 00:00:00 1-2 2023-05-12 BK 0 0 LC 0 0 CSPC CSPC CIR 2023-05-12 0 CIR 511.3 Au823 2018 020225 2023-05-12 00:00:00 2-2 2023-05-12 BK 7911 7911