Incompleteness of Behavioral Logics (2000)

by Samuel Buss, Grigore Rosu