共 47 条
[1]
Andréka H, 2005, MATH LOGIC QUART, V51, P591, DOI 10.1002/malq.200410051/www.mlq-journal.org
[2]
Andreka H., 2014, J VANBENTHEM LOGIC I
[3]
Andreka H., 2008, DEFINING NEW UNIVERS, V93
[4]
[Anonymous], 1930, GRUNDLAGEN GEOMETRIE
[5]
[Anonymous], 2013, Word and Object
[6]
[Anonymous], 1979, Fundamenta Mathematicae
[7]
[Anonymous], 1959, PHILOS MATH
[8]
[Anonymous], 1983, Metamathematische Methoden in der Geometrie
[9]
Barnes D.W., 1975, ALGEBRAIC INTRO MATH
[10]
Barrett T. W., 2015, QUINES CONJECT UNPUB