Topologische Untersuchungen zur Semantik und Syntax Eines Erweiterten Prädikatenkalküls

DOI10.1007/BF01978154zbMath0049.00603MaRDI QIDQ5815604

Gisbert Hasenjaeger

Publication date: 1952

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137717

zbMATH Keywords

philosophy and foundations of mathematics

Cites Work

• Evaluation de la classe borélienne ou projective d'un ensemble de points à l'aide des symboles logiques
• Boolean Algebras and Their Application to Topology
• On absolute properties of relations
• The completeness of the first-order functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topologische Untersuchungen zur Semantik und Syntax Eines Erweiterten Prädikatenkalküls