@ARTICLE{PROOFS_1.MIZ,
  AUTHOR = {Huuskonen, Taneli},
  TITLE = {Fundamentals of Finitary Proofs},
  NOTE = {This work has been supported by the National Science Centre of Poland, grant number UMO-2017/25/B/HS1/00503.},
  DAY = {24},
  MONTH = {December},
  YEAR = {2024},
  ADDRESS1 = {Tampere\\Finland},
  SUMMARY = {An abstract, generic textbook notion of a finitary proof and some of its basic properties
  are presented. The approach is similar to that of many textbooks, such as \cite{Mendelson}.
  A general form of Lindenbaum's lemma is included.\par
  Part of the contents were taken from \cite{GRZLOG_1.ABS}, which was written to formalize some
  ideas from \cite{Grzegorczyk:2012}~and~\cite{GPH:2012}.}}
