Title
Minimal from Classical Proofs
Abstract
Without Abstract
Year
DOI
Venue
2013
10.1007/BFb0023778
Ann. Pure Appl. Logic
Keywords
DocType
Volume
classical proofs
Journal
164
Issue
ISSN
ISBN
6
0168-0072
3-540-55789-X
Citations 
PageRank 
References 
0
0.34
2
Authors
2
Name
Order
Citations
PageRank
Helmut Schwichtenberg137344.83
christoph senjak200.34