Logics for artificial intelligence by Turner, Raymond fromEllis Horwood series in artifical intelligence 0 Type: Book
Frege: importance and legacy by Schirn, Matthias fromPerspektiven der analytischen Philosophie 0 Type: Book
Introduction to languages, machines and logic: computable languages, abstract machines and forma… by Parkes, Alan P. 0 Type: Book
