Title
Finite Kripke models of HA are locally PA.
Year
Venue
DocType
1986
Notre Dame Journal of Formal Logic
Journal
Volume
Issue
Citations 
27
4
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Erik C. W. Krabbe143.27
Hans Mulder2193.19
Albert Visser3133.57
Dirk van Dalen400.34