Skip to content

A Non-hyperarithmetical Gdel Logic.

Juan P. Aguilera, Jan Bydzovsky, David Fernndez-Duque

Year2022
ProceedingsLFCS

Browse the full LFCS paper archive.