Title: Consistent calculus
First published: 1994
Subjects: Calculus, Gödel's theorem, Godel's theorem
LC classification: QA303 .C24 1994