Počet záznamů: 1  

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

  1. 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  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.