Počet záznamů: 1
On the scope of the completeness theorem for first-order predicate logic
- 1.Cintula, P., Noguera, C. 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.
Počet záznamů: 1