A Framework for Metamathematics

DOI10.1007/978-3-030-77799-9_1OpenAlexW4296129467MaRDI QIDQ5055278

Lorenz Halbeisen

Publication date: 13 December 2022

Published in: Axiomatic Thinking II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-77799-9_1

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (1)

Hilbert’s Axiomatisches Denken

Cites Work

• Unnamed Item

This page was built for publication: A Framework for Metamathematics