scientific article; zbMATH DE number 6740387
From MaRDI portal
Publication:5273442
zbMath1365.03008MaRDI QIDQ5273442
Publication date: 6 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30)
Related Items (2)
Full satisfaction classes, definability, and automorphisms ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
This page was built for publication:
