Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Clayton D. Scott
muljowidodo kartidjo
Duzgun, H.Sebnem
Jean Jourdan
Nicola Beume
Roland Zumkeller
Maximilian Dürr
Dan Graur
Dedong Tang
Mirela Gutica
Home
/
Paper
/
Relativized Realizability In Intuitionistic Arithmetic Of All Finite Types
Paper Info
Open Visualization
Title
Relativized Realizability In Intuitionistic Arithmetic Of All Finite Types
Year
DOI
Venue
1978
10.2307/2271946
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
43
1
ISSN
Citations
PageRank
0022-4812
17
3.15
References
Authors
0
1
Authors (1 rows)
Cited by (17 rows)
References (0 rows)
Name
Order
Citations
PageRank
Nicolas D. Goodman
1
54
11.97
1