scientific article; zbMATH DE number 6307930
From MaRDI portal
zbMath1315.03114MaRDI QIDQ4981445
Sebastian Eberhard, Thomas Strahm
Publication date: 24 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A feasible theory of truth over combinatory algebra, About Truth and Types, Unfolding Schematic Systems