Q3744153
type: Item
instance of: scholarly article
zbMATH Open document ID: 0606.03010
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D65
Mathematics Subject Classification ID: 03F15
zbMATH DE Number: 3979048
zbMATH Keywords: Primitive Recursive Arithmetic
author: Franco Parlamento
MaRDI profile type: MaRDI publication profile
Recommended article: MÜNCHHAUSEN PROVABILITY
Recommended article: Q3080416
Recommended article: Pringsheim's theorem revisited
Recommended article: Provability with Finitely Many Variables
Recommended article: Q4296640
Recommended article: A direct proof of purification for Schmeidler's theorem
Recommended article: AXIOMATIZATION OF PROVABLE n-PROVABILITY
Recommended article: Q4250046
Recommended article: The completeness of provable realizability
Recommended article: Provability, Mechanism, and the Diagonal Problem
description: scientific article