"A Proof of Syntactic Incompleteness of the Second-Order Categorical Arithmetic"
written by Giuseppe Raguní,
published by Open Access Library Journal, Vol.4 No.10, 2017
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
No relevant information.