Institute of Information Theory and Automation

You are here

Bibliography

Abstract

Completeness theorem for first-order algebraizable logics

Cintula Petr, Noguera Carles

: CLMPS 2015 & LC 2015. Book of Abstracts, p. 681-681

: LC 2015. Logic Colloquium, (Helsinki, FI, 03.08.2015-08.08.2015)

: BA

2019-01-07 08:39