A Decidable Fragment of Recursive Arithmetic
type: Item
instance of: scholarly article
title: A Decidable Fragment of Recursive Arithmetic
zbMATH Open document ID: 0114.24801
published in: Mathematical Logic Quarterly
publication date: 1963-01-01T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 3185961
zbMATH Keywords: mathematical logic
MaRDI profile type: Publication
full work available at URL: malq.19630091203
OpenAlex ID: W2001704454
DOI: 10.1002/MALQ.19630091203
author: Reuben Goodstein
description: scientific article; zbMATH DE number 3185961