Foundations of logic and mathematics (Illinois)
71 s.