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

Počet záznamů: 1

1.

SYSNO ASEP	0391878
Druh ASEP	A - Abstrakt
Zařazení RIV	Záznam nebyl označen do RIV
Zařazení RIV	Není vybrán druh dokumentu
Název	On the scope of the completeness theorem for first-order predicate logic
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI} Noguera, Carles (UIVT-O)_{RID, ORCID}
Zdroj.dok.	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 / Béziau J.Y. ; Buchsbaum A. ; Costa-Leite A. ; Altair A. S. 223-223
Akce	UniLog 2013. World Congress and School on Universal Logic /4./
Datum konání	29.03.2013-07.04.2013
Místo konání	Rio de Janeiro
Země	BR - Brazílie
Typ akce	WRD
Jazyk dok.	eng - angličtina
Země vyd.	PT - Portugalsko
Klíč. slova	abstract algebraic logic ; firts-order logics ; Henkin theories ; completeness theorem
Vědní obor RIV	BA - Obecná matematika
Institucionální podpora	UIVT-O - RVO:67985807
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2014

Počet záznamů: 1