scientific article

From MaRDI portal

Publication:3816071

Jump to:navigation, search

zbMath0665.03040MaRDI QIDQ3816071

V. P. Orevkov

Publication date: 1988

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

zbMATH Keywords

Peano Arithmetic fragments

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Complexity of proofs (03F20)

Related Items (1)

The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem

This page was built for publication:

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