scientific article; zbMATH DE number 3278867
From MaRDI portal
Publication:5563103
zbMath0174.48401MaRDI QIDQ5563103
Publication date: 1968
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
From realizability to induction via dependent intersection ⋮ Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ Large-scale formal proof for the working mathematician -- lessons learnt from the ALEXANDRIA project ⋮ Automath and Pure Type Systems ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
This page was built for publication:
