Review of: J. Avigad, A realizability interpretation for classical arithmetic, in S. R. Buss (ed.) et al., Logic colloquium '98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lecture Notes in Logic 13, 57-90 (2000) / A.Cantini. - In: ZENTRALBLATT MATH. - ISSN 1436-3356. - STAMPA. - 946:(2001), pp. 0946.03071-0946.03071.
Review of: J. Avigad, A realizability interpretation for classical arithmetic, in S. R. Buss (ed.) et al., Logic colloquium '98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lecture Notes in Logic 13, 57-90 (2000)
CANTINI, ANDREA
2001
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.