The evolution of types and logic in the 20th century: A journey through Frege, Russell and . . . (2004)

by Fairouz Kamareddine
Venue: ILLC ALUMNI EVENT, AMSTERDAM 2004