scientific article; zbMATH DE number 7340151
From MaRDI portal
Publication:4986517
zbMath1469.03032arXiv1210.2461MaRDI QIDQ4986517
Cristiano Longo, Domenico Cantone
Publication date: 27 April 2021
Full work available at URL: https://arxiv.org/abs/1210.2461
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Axiomatics of classical set theory and its fragments (03E30)
This page was built for publication:
