A Logical Journey: From Gödel to Philosophy (1996)

by Hao WANG