Review of: G. Jäger, R. Kahle, A. Setzer, T. Strahm, The proof-theoretic analysis of transfinitely iterated fixed point theories, Journal of Symbolic Logic, 64, No.1, 53-67 (1999 / A.Cantini. - In: ZENTRALBLATT FÜR MATHEMATIK UND IHRE GRENZGEBIETE. - ISSN 0044-4235. - STAMPA. - 937:(1999), pp. 0937.03065-0937.03065.
Review of: G. Jäger, R. Kahle, A. Setzer, T. Strahm, The proof-theoretic analysis of transfinitely iterated fixed point theories, Journal of Symbolic Logic, 64, No.1, 53-67 (1999
CANTINI, ANDREA
1999
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.