Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-2
|
Results: 2
Syntactical truth predicates for second order arithmetic
Authors:
Colson, L Grigorieff, S
Citation:
L. Colson et S. Grigorieff, Syntactical truth predicates for second order arithmetic, J SYMB LOG, 66(1), 2001, pp. 225-256
The elementary theory of the Cantor pairing function is decidable
Authors:
Cegielski, P Grigorieff, S Richard, D
Citation:
P. Cegielski et al., The elementary theory of the Cantor pairing function is decidable, CR AC S I, 331(2), 2000, pp. 107-110
Risultati:
1-2
|