Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 101



101
TÍTULO: The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories
AUTORES: Gerhard Jäger; Reinhard Kahle ; Anton Setzer; Thomas Strahm;
PUBLICAÇÃO: 1999, FONTE: J. Symb. Log., VOLUME: 64, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: DBLP
Página 11 de 11. Total de resultados: 101.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service