Ways of Proof Theory
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By DE GRUYTER

9783110324907
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Σ11 Choice in a Theory of Sets and Classes

2013 ◽  
Author(s):  
Gerhard Jäger ◽  
Jürg Krähenbühl

Towards a Formal Theory of Computability

2013 ◽  
Author(s):  
Simon Huber ◽  
Basil A. Karádais ◽  
Helmut Schwichtenberg
Keyword(s):  
Formal Theory

On Topological Models of GLP

2013 ◽  
Author(s):  
Lev Beklemishev ◽  
Guram Bezhanishvili ◽  
Thomas Icard
Keyword(s):  
Topological Models

Elementary Constructive Operational Set Theory

2013 ◽  
Author(s):  
Andrea Cantini ◽  
Laura Crosilla
Keyword(s):  
Set Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document