An interpolation theorem in the predicate calculus
type: Item
instance of: scholarly article
title: An interpolation theorem in the predicate calculus
zbMATH Open document ID: 0093.01002
published in: Pacific Journal of Mathematics
publication date: 1959-01-01T00:00:00Z
zbMATH DE Number: 3151568
zbMATH Keywords: foundations, philosophy and logic of mathematics
author: Roger C. Lyndon
MaRDI profile type: Publication
full work available at URL: pjm.1959.9.129
OpenAlex ID: W1972122408
DOI: 10.2140/PJM.1959.9.129
description: scientific article; zbMATH DE number 3151568