scientific article; zbMATH DE number 2044514
From MaRDI portal
Publication:4448378
zbMath1042.03023MaRDI QIDQ4448378
Nicola Olivetti, Camilla B. Schwind
Publication date: 18 February 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2202/22020384.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05)
Related Items (1)
This page was built for publication:
