Title
Final word on a shortest implicational axiom.
Year
DOI
Venue
1970
10.1305/ndjfl/1093893855
Notre Dame Journal of Formal Logic
Field
DocType
Volume
Discrete mathematics,Axiom,Algorithm,Mathematics
Journal
11
Issue
Citations 
PageRank 
1
1
0.36
References 
Authors
0
1
Name
Order
Citations
PageRank
Ivo Thomas11413.74