scientific article; zbMATH DE number 3353247
From MaRDI portal
Publication:5628097
zbMath0223.02021MaRDI QIDQ5628097
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
A study of Kripke-type models for some modal logics by Gentzen's sequential method ⋮ Weight of the comprehension axiom in a theory based on logic without contractions
This page was built for publication: