Paper Info
Title
Contraction-Free Sequent Calculi For Intuitionistic Logic
Year
DOI
Venue
1992
10.2307/2275431
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
57
3
ISSN
Citations 
PageRank 
0022-4812
118
12.39
References 
Authors
7
1
Search Limit
100118
Name
Order
Citations
PageRank
Roy Dyckhoff145249.09