On the scope of the completeness theorem for first-order predicate logic

Autoři: doc. Ing. Petr Cintula, Ph.D. DSc.
Carles Noguera
Rok vydání: 2013
Typ publikace: Abstrakt
Periodikum: UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic
Bibliografická citace: CINTULA, Petr, NOGUERA, Carles. On the scope of the completeness theorem for first-order predicate logic. In: BÉZIAU, J.Y., BUCHSBAUM, A., COSTA-LEITE, A., ALTAIR, A., eds. UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013, S. 223-223.
ID: 391878