CINECA IRIS Institutional Research Information System

MR2642827 (2011h:68021) Alves, Sandra; Fernández, Maribel; Florido, Mário; Mackie, Ian Gödel's system T revisited. Theoret. Comput. Sci. 411 (2010), no. 11-13, 1484–1500. (Reviewer: Luca Roversi), 68N18 (03B15 03B40)

ROVERSI, Luca
2011-01-01
2011
MATHEMATICAL REVIEWS
MR2642827
-
-
http://www.ams.org/mathscinet
Luca Roversi
03D-Recensione in Rivista
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/147811
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact