scientific article; zbMATH DE number 3557735
From MaRDI portal
Publication:4133592
zbMath0358.02013MaRDI QIDQ4133592
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Topoi (18B25) Classical first-order logic (03B10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
This page was built for publication: