green numbers give full details.
|
back to list of philosophers
|
expand these ideas
Ideas of Hilbert,D/Ackermann,W, by Text
[German, fl. 1928, Two leading mathematicians of their time.]
1928
|
Principles of Theoretical Logic
|
|
p.35
|
17750
|
The first clear proof of the consistency of the first order predicate logic was in 1928 [Walicki]
|