scientific article
From MaRDI portal
Publication:3340194
zbMath0548.68088MaRDI QIDQ3340194
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof complexityfirst order predicate logicGentzen type theorem proverloops in infinite search treesunvalidity of formulas
This page was built for publication: