Binary recursive arithmetic

MaRDI QIDQ768373zbMATH OpenFDO

Authors Alonzo Church

Publication date 1957

Published in Journal de Mathématiques Pures et Appliquées. Neuvième Série (Search for Journal in Brave)

zbMATH Keywords

FoundationsMathematical LogicPhilosophy

Cited in

(2)

• scientific article; zbMATH DE number 7455739 (Why is no real title available?)
• On a finitary version of mathematical analysis

This page was built for publication: Binary recursive arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q768373)