论文信息 - HILBERT VINDICATED? - 字舞流文

HILBERT VINDICATED?

Jaakko Hintikka | J. Hintikka

[1] Jaakko Hintikka,et al. Logic, Language-Games And Information , 1972 .

[2] H. Sinaceur. Du formalisme à la constructivité: le finitisme , 1993 .

[3] D. Hilbert. Über das Unendliche , 1926 .

[4] Leon Henkin,et al. The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.

[5] Evert W. Beth,et al. Semantic Entailment And Formal Derivability , 1955 .

[6] Wilbur John Walkoe,et al. Finite Partially-Ordered Quantification , 1970, J. Symb. Log..

[7] D. Hilbert,et al. Begründung der kinetischen Gastheorie , 1912 .

[8] J. Hintikka. The Principles of Mathematics Revisited: Introduction , 1996 .

[9] Jaakko Hintikka,et al. What is Elementary Logic? Independence-Friendly Logic as the True Core Area of Logic , 1995 .

[10] D. Hilbert. Axiomatisches Denken , 1917 .

[11] Michael Toepell,et al. On the origins of David Hilbert's “Grundlagen der Geometrie” , 1986 .

[12] Warren D. Goldfarb,et al. Logic in the twenties: the nature of the quantifier , 1979, Journal of Symbolic Logic.