Stephen G. Simpson

Born 1945-01-01

Identifiers

• Open LibraryOL237403A

Top Subjects

• Predicate calculus. (1)
• Mathematics (1)
• Mathematical Analysis (1)
• Logic (1)
• Science/Mathematics (1)
• Reverse mathematics (1)
• Mathematical logic (1)