scientific article

From MaRDI portal

Publication:3816072

Jump to:navigation, search

zbMath0665.03041MaRDI QIDQ3816072

Gaisi Takeuti

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

second order systems bounded consistency systems of bounded arithmetic

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3816072&oldid=17398088"