A foundation of finite mathematics
From MaRDI portal
Publication:1237724
DOI10.2977/prims/1195190375zbMath0357.02033OpenAlexW1987663025MaRDI QIDQ1237724
Publication date: 1977
Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2977/prims/1195190375
Descriptive set theory (03E15) Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)
Related Items (3)
What is the Church-Turing Thesis? ⋮ A Groupoid of Isomorphic Data Transformations ⋮ Hereditarily Finite Sets in Constructive Type Theory
This page was built for publication: A foundation of finite mathematics
