scientific article; zbMATH DE number 7183899
From MaRDI portal
Publication:5222079
zbMath1432.03125MaRDI QIDQ5222079
Gilda Ferreira, Fernando Ferreira, António Marques Fernandes
Publication date: 30 March 2020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complexity of computation (including implicit computational complexity) (03D15) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Model-theoretic forcing (03C25)
This page was built for publication:
