Normierte Postsche Algorithmen

DOI10.1002/MALQ.19590051409zbMATH Open0089.24702OpenAlexW2024953797MaRDI QIDQ3264236FDOQ3264236

Authors: Günter Asser 

Publication date: 1959

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19590051409

zbMATH Keywords

foundations of mathematics, philosophy, logic

Cited In (1)

• Two examples of algorithms

This page was built for publication: Normierte Postsche Algorithmen

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3264236)