TY - BOOK AU - Juliette Kennedy, Ruy J.G.B. de Queiroz TI - Logic, Language, Information, and Computation SN - 9783662553862 PB - Springer UR - https://link.springer.com/openurl?genre=book&isbn=978-3-662-55386-2 ER -