Transcendental syntax iv: logic without systems

DOI10.1007/978-3-030-62077-6_2OpenAlexW3096177637MaRDI QIDQ2037978

Jean-Yves Girard

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-62077-6_2

zbMATH Keywords

arithmeticlogicderealism

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Transcendental syntax iv: logic without systems