Introduction to Logic and to Methodology of Deductive Sciences Oxford (1965)

by A TARSKI
Venue:Some Results in Computational Topology