Search for persons
X
?
4
Advances in Mathematical Logic: Dedicated to the Memory of ..
Springer Proceedings in Mathematics & Statistics, 369
?
Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library ,
6
Epsilon Numbers:
, In:
?
Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library ,
7
Collapsings:
, In:
?
Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library ,
8
Calculi for Classical Logic:
, In:
?
Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library ,
9
Introduction:
, In:
?
Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library ,
10
Iterations:
, In:
?
Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library ,
13
Answers to Exercises:
, In:
?
Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library ,
14