Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 101



101
TITLE: The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Anton Setzer; Thomas Strahm;
PUBLISHED: 1999, SOURCE: J. Symb. Log., VOLUME: 64, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
Page 11 of 11. Total results: 101.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service