Premium
The Equivalence of Equational and Sentential General Recursive Arithmetics
Author(s) -
Ryan W. J.
Publication year - 1976
Publication title -
journal of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.441
H-Index - 62
eISSN - 1469-7750
pISSN - 0024-6107
DOI - 10.1112/jlms/s2-14.3.463
Subject(s) - citation , equivalence (formal languages) , computer science , arithmetic , mathematics , linguistics , library science , discrete mathematics , philosophy