scientific article; zbMATH DE number 6287604
From MaRDI portal
Publication:5411451
zbMath1286.03028MaRDI QIDQ5411451
J. Soliveres Tur, Juan Climent Vidal
Publication date: 23 April 2014
Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/38_12_8.pdf
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) Relative consistency and interpretations (03F25) Abstract model theory (03C95)
This page was built for publication: