Fundamentals of Finitary Proofs

Pubblicato online: 31 dic 2024

Pagine: 213 - 222

Accettato: 24 dic 2024

DOI: https://doi.org/10.2478/forma-2024-0018

Parole chiave

finitary proof, proof system, Lindenbaum’s lemma

© 2024 Taneli Huuskonen, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Public License.