Logic-free formalisations of recursive arithmetic

DOI10.7146/math.scand.a-10412zbMath0058.24902OpenAlexW2531474055MaRDI QIDQ5833220

No author found.

Publication date: 1954

Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/165548

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (1)

TWO (OR THREE) NOTIONS OF FINITISM

This page was built for publication: Logic-free formalisations of recursive arithmetic