On the scope of the completeness theorem for first-order predicate logic
Bibliographic details
- Authors
- Petr Cintula, Carles Noguera
- Publication year
- Publication type
- Abstrakt
- Periodical
- UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic
- Bibliographic citation
- 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