scientific article; zbMATH DE number 3328138

From MaRDI portal

Publication:5606570

Jump to:navigation, search

zbMath0206.27701MaRDI QIDQ5606570

Georg Kreisel

Publication date: 1970

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

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Related Items (1)

Towards NP-P via proof complexity and search

This page was built for publication:

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