References
- Church , A. 1956 . Introduction to Mathematical Logic, Volume I , Princeton : Princeton University Press .
- Frege , G. 1967 . The Basic Laws of Arithmetic , Berkeley : University of California Press .
- Frege , G. 1979a . “ Logic in mathematics ” . In Gottlob Frege: Posthumous Writings , Edited by: Hermes , H. , Kambartel , F. and Kaulbach , F. 203 – 250 . Oxford : Basil Blackwell .
- Frege , G. 1979b . “ On Euclidean geometry ” . In Gottlob Frege: Posthumous Writings , Edited by: Hermes , H. , Kambartel , F. and Kaulbach , F. 167 – 169 . Oxford : Basil Blackwell .
- Gabriel , G. , Hermes , H. , Kambartel , F. , Thiel , C. and Veraart , A. 1980 . Gottlob Frege: Philosophical and Mathematical Correspondence , Chicago : University of Chicago Press .
- Goldfarb , W. 1979 . Logic in the twenties: The nature of the quantifier . The Journal of Symbolic Logic , 44 ( 3 ) : 351 – 368 .
- Heck , R. 1997 . Grundgesetze der Arithmetic I §§29−32 . Notre Dame Journal of Formal Logic , 38 ( 3 ) : 437 – 474 .
- Hilbert , D. 1971 . Foundations of Geometry , 2 , Chicago : Open Court Publishing .
- Ricketts , W. 1997 . Frege's 1906 Foray into metalogic . Philosophical Topics , 25 ( 2 ) : 169 – 188 .
- Tappenden , J. 2000 . Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments? . Notre Dame Journal of Formal Logic , 41 ( 3 ) : 271 – 315 .
- Tarski , A. 1969 . “ On the concept of logical consequence ” . In Logic, Semantics, Metamathematics , Edited by: Corcoran , J. 409 – 420 . Oxford : Oxford University Press .