scientific article; zbMATH DE number 761283
From MaRDI portal
Publication:4835618
zbMath0820.03006MaRDI QIDQ4835618
Publication date: 6 June 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencymaximalitycompletenessprovabilitydeductioncompatibilitymetalogicconsequencedeductive theoryexpressive equivalencedeductively-closed system
Related Items (1)
This page was built for publication: