scientific article; zbMATH DE number 1950268

zbMath1016.03062MaRDI QIDQ4412866

Dan E. Willard

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810281.htm

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

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Structure of proofs (03F07)

Related Items (1)

A generalization of the second incompleteness theorem and some exceptions to it

This page was built for publication: