Ideas of Hilbert,D/Ackermann,W, by Theme
[German, fl. 1928, Two leading mathematicians of their time.]
green numbers give full details 
back to list of philosophers 
expand these ideas
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750

The first clear proof of the consistency of the first order predicate logic was in 1928 [Walicki]
