scientific article; zbMATH DE number 475186
From MaRDI portal
Publication:4273423
zbMath0792.03026MaRDI QIDQ4273423
Giuseppe Scollo, Antonino Salibra
Publication date: 26 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Classical first-order logic (03B10) Special categories (18B99) Abstract model theory (03C95)
Related Items (2)
Some general results about proof normalization ⋮ An institution-independent proof of the Beth definability theorem
This page was built for publication:
