The universal quantifier in combinatory logic
type: Item
instance of: scholarly article
title: The universal quantifier in combinatory logic
zbMATH Open document ID: 0001.26101
DOI: 10.2307/1968422
published in: Annals of Mathematics. Second Series
publication date: 1931-01-01T00:00:00Z
zbMATH DE Number: 3000736
zbMATH Keywords: foundations, logic
author: Haskell B. Curry
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/1968422
OpenAlex ID: W2326394178
description: scientific article; zbMATH DE number 3000736