Opening the shelf…
Opening the shelf…
Book dossier
by José F. Prida
No description is available for this edition yet.
Polynomial completeness in algebraic systems
Kalle Kaarli
The Mathematics of Logic
Richard W. Kaye
Beginning model theory
Jane Bridge
Categoricity
John T. Baldwin
On universal algebraic construction of logics
H. Andréka
Completeness theory for propositional logics
Pogorzelski, Witold.
Uncountably categorical theories
Boris Zilber
Funkcje rekurencyjne i elementy metamatematyki
Roman Murawski
Elements of the theory of completeness in propositional logic
Witold A. Pogorzelski