scientific article; zbMATH DE number 3286022
From MaRDI portal
Publication:5569442
zbMath0179.01502MaRDI QIDQ5569442
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Reconsidering pairs and functions as sets ⋮ Issues in commonsense set theory ⋮ Applying, extending, and specializing pseudorecursiveness ⋮ Set theory as modal logic ⋮ Cohopfian groups and accessible group classes ⋮ Infinite-Dimensional and Colored Supermanifolds ⋮ An experimental logic based on the fundamental deduction principle ⋮ The concept of state and the axiom of choice ⋮ Towards the automation of set theory and its logic ⋮ Splitting and reduction heuristics in automatic theorem proving ⋮ Morse set theory as a foundation for constructive mathematics
