scientific article

From MaRDI portal

Publication:3172128

Jump to:navigation, search

zbMath1244.03136MaRDI QIDQ3172128

Alberto Policriti, Alexandru I. Tomescu, Eugenio Giovanni Omodeo

Publication date: 5 October 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfiability decision algorithms non-well-founded sets computable set theory infinity axiom

Mathematics Subject Classification ID

Other set-theoretic hypotheses and axioms (03E65)

Related Items (1)

Set-syllogistics meet combinatorics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3172128&oldid=16270612"