- BR SPCLEARQ FAIA-Impr-IT542
- Item
- 1973.
Parte de Ayda Ignez Arruda
JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.
Ayda Ignez Arruda