scientific article; zbMATH DE number 3250586
From MaRDI portal
Publication:5537402
zbMath0156.02101MaRDI QIDQ5537402
No author found.
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
Increasing sentences in simple type theory ⋮ Representation of functions and total antisymmetric relations in monadic third order logic ⋮ Strong Ambiguity ⋮ A combinatorial result related to the consistency of New Foundations ⋮ The 3-stratifiable theorems of \(\text{NFU}_\infty\) ⋮ Subsystems of Quine's ``New Foundations with predicativity restrictions ⋮ Inequivalence of the fragments of new foundations ⋮ Systems of combinatory logic related to Quine's `New Foundations'
This page was built for publication:
