Hoping for the Truth -
A Survey of the TPTP Logics

by
Geoff Sutcliffe Department of Computer Science University of Miami, USA	Francis Jeffry Pelletier Canada Research Chair in Cognitive Science Professor of Philosophy Professor of Linguistics Simon Fraser University, Canada