A consistency-proof of a formal theory of Ackermann's ordinal numbers
type: Item
instance of: scholarly article
title: A consistency-proof of a formal theory of Ackermann's ordinal numbers
zbMATH Open document ID: 0103.24602
author: Akiko Kino
published in: Journal of the Mathematical Society of Japan
publication date: 1958-01-01T00:00:00Z
zbMATH DE Number: 3168660
zbMATH Keywords: logics, foundations, philosophy
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2969/jmsj/01030287
OpenAlex ID: W2019700522
DOI: 10.2969/JMSJ/01030287
description: scientific article; zbMATH DE number 3168660