The formalization of mathematics
From MaRDI portal
Publication:5829015
DOI10.2307/2267732zbMath0056.24503OpenAlexW1965905187MaRDI QIDQ5829015
Publication date: 1954
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2267732
Related Items
La prédicativité, POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND, In Memoriam: Hao Wang 1921–1995, Finitely stratified polymorphism, Unnamed Item, Predicativity and Feferman, Operation and Predicativity: Lorenzen’s Approach to Arithmetic, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
Cites Work