Publication:3261421
From MaRDI portal
zbMath0088.25001MaRDI QIDQ3261421
Publication date: 1959
Related Items
Ontology of Logic and Mathematics in Lvov-Warsaw School, Constructivism and Metamathematics, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC, Approximation to measurable functions and its relation to probabilistic computation, On the definitions of some complexity classes of real numbers