scientific article; zbMATH DE number 7015165
From MaRDI portal
Publication:4619877
zbMath1406.03060MaRDI QIDQ4619877
Publication date: 7 February 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM ⋮ Transductions in arithmetic
This page was built for publication:
