scientific article; zbMATH DE number 3106607
From MaRDI portal
Publication:5845414
zbMath0063.06360MaRDI QIDQ5845414
Publication date: 1940
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
A Non-Standard Truth Definition ⋮ Recursive Predicates and Quantifiers ⋮ Curves in Gödel-space: towards a structuralist ontology of mathematical signs ⋮ THE GENEALOGY OF ‘’ ⋮ Varieties of self-reference in metamathematics ⋮ Temporal ontology: tenselessness and quantification ⋮ Unnamed Item ⋮ The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper ⋮ What’s So Bad About Second-Order Logic? ⋮ Short Overview of the Development of Hintikka’s Work in Logic ⋮ Logical foundations for programming semantics ⋮ First order logic with empty structures
This page was built for publication:
