scientific article; zbMATH DE number 1550361
From MaRDI portal
Publication:4523481
zbMath0972.03549MaRDI QIDQ4523481
Publication date: 11 January 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)
This page was built for publication:
