On the length of proofs in formal systems
type: Item
instance of: scholarly article
title: On the length of proofs in formal systems
zbMATH Open document ID: 0493.03034
author: Tohru Miyatake
published in: Tsukuba Journal of Mathematics
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 3775523
zbMATH Keywords: length of proof
zbMATH Keywords: first order formal system
zbMATH Keywords: Presburger arithmetic
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: Gentzen method
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.21099/tkbjm/1496158798
OpenAlex ID: W2290178991
DOI: 10.21099/TKBJM/1496158798
description: scientific article; zbMATH DE number 3775523