Finite models for inequations

DOI10.2307/2269694zbMath0192.04101OpenAlexW1968193247MaRDI QIDQ5586256

M. D. Gladstone

Publication date: 1966

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2269694

zbMATH Keywords

algebraic logic, model theory

Related Items (2)

Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten ⋮ Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen

This page was built for publication: Finite models for inequations