Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Timothy J. Trenary
Motoharu Sonogashira
Bhupendra Singh
Oguzhan Ozmen
Paulo Ricardo Possa
Yetik Serbest
David J. Westover
Yu-Wei Chang
Sebastian Magda
Tzu-Chien Hsu
Home
/
Paper
/
A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory Logic
Paper Info
Open Visualization
Title
A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory Logic
Year
Venue
DocType
1983
J. Symb. Log.
Journal
Volume
Issue
Citations
48
3
4
PageRank
References
Authors
1.05
1
1
Authors (1 rows)
Cited by (4 rows)
References (1 rows)
Name
Order
Citations
PageRank
Martin W. Bunder
1
64
16.78
1
