Logic, language, information and computation : 15th International workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008: proceedings / ed.: W. Hodges, R. Queiroz, 2008 r=on-line. - Текст : электронный.
Oxford texts in logic. 3 : Mathematical logic / I. Chiswell, W. Hodges, 2007. - VIII, 250 p. - Текст : непосредственный.