A meta-mathematical theorem on functions

DOI10.2969/JMSJ/00810065zbMATH Open0086.00705OpenAlexW2082114081MaRDI QIDQ770788

Gaisi Takeuti

Publication date: 1956

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/00810065

zbMATH Keywords

philosophy and foundations of mathematics

This page was built for publication: A meta-mathematical theorem on functions