Proof by cases in formal logic
type: Item
instance of: scholarly article
title: Proof by cases in formal logic
zbMATH Open document ID: 0010.14602
DOI: 10.2307/1968749
published in: Annals of Mathematics. Second Series
publication date: 1934-01-01T00:00:00Z
zbMATH DE Number: 3014973
zbMATH Keywords: foundations, philosophy, logic
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/1968749
OpenAlex ID: W2328992634
author: Stephen Cole Kleene
description: scientific article; zbMATH DE number 3014973