A Note on the Entscheidungs Problemby Al
β
Review by: Paul Bernays
π
Article
π
1936
π
Association for Symbolic Logic
π
English
β 186 KB