Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements

DOI10.1515/9783110529494-002zbMath1429.03189OpenAlexW2792109190MaRDI QIDQ5213582

Michele Abrusci

Publication date: 3 February 2020

Published in: From Arithmetic to Metaphysics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9783110529494-002

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: Hilbert’s τ and ϵ in Proof Theory: a proof-theoretical representation of universal and existential statements