Review of : T.Strahm, First Steps into metapredicativity in explicit mathematics, in: B.Cooper and J.K.Truss (eds.), Sets and Proofs. Invitef Papers from Logic Colloquium ’97, Cambridge University Press, Cambridge 1999 / A.Cantini. - In: THE BULLETIN OF SYMBOLIC LOGIC. - ISSN 1079-8986. - STAMPA. - 8:(2001), pp. 535-536.
Review of : T.Strahm, First Steps into metapredicativity in explicit mathematics, in: B.Cooper and J.K.Truss (eds.), Sets and Proofs. Invitef Papers from Logic Colloquium ’97, Cambridge University Press, Cambridge 1999
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.