CCombinators, l-terms and proof theoryCombinators, l-terms and proof theoryde Sören StenlundMateriasCombinatory logicProof theoryEdiciones (1)Combinators, l-terms and proof theory. (1972)D. Reidel · inglésMás obras de Sören StenlundLogical theory and semantic analysisTThe origin of symbolic mathematics and the end of the sciencThe origin of symbolic mathematics and the end of the science of quantityUUndersökningar i matematikens filosofiUndersökningar i matematikens filosofi
TThe origin of symbolic mathematics and the end of the sciencThe origin of symbolic mathematics and the end of the science of quantity
