The number of lines in Frege proofs with substitution
type: Item
instance of: scholarly article
title: The number of lines in Frege proofs with substitution
zbMATH Open document ID: 0894.03034
author: Alasdair Urquhart
published in: Archive for Mathematical Logic
publication date: 1998-08-19T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03F07
zbMATH DE Number: 1156506
zbMATH Keywords: Frege proofs
zbMATH Keywords: substitution
zbMATH Keywords: detachment
MaRDI profile type: Publication
full work available at URL: s001530050078
OpenAlex ID: W2017728719
DOI: 10.1007/S001530050078
description: scientific article; zbMATH DE number 1156506