scientific article
From MaRDI portal
Publication:3140637
zbMath0794.03080MaRDI QIDQ3140637
Petr Hájek, Pavel Pudlák, Franco Montagna
Publication date: 5 December 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (2)
Obituary: Franco Montagna (1948--2015) ⋮ Proof lengths for instances of the Paris-Harrington principle
This page was built for publication:
