Number of the records: 1

O trojhodnotové logice

book

Mleziva, Miroslav, 1929-1990 - Author Praha : Nakladatelství Československé akademie věd, 1964 - 66 s. ; 8° Rozpravy ČSAV. Roč. 74/1964, Řada společenských věd ;
Call number	C 50.822
Umístění

Branch	Place	Info	Signature
Lidická ( sklad )		k vypůjčení	C 50.822

Info	RETRO-CATALOGUING - SHORT RECORD
Title statement	O trojhodnotové logice / Miroslav Mleziva
Main entry-name	Mleziva, Miroslav, 1929-1990 (Author)
Issue data	Praha : Nakladatelství Československé akademie věd, 1964 (KNT 5)
Phys.des.	66 s. ; 8°
ISBN	Kčs 4,90
National bibl. num.	cnb000479302
Edition	Rozpravy ČSAV. Řada společenských věd ; 13
Note	1000 výt.
Internal Bibliographies/Indexes Note	Obsahuje bibliografii
Language note	Německé a ruské resumé
UDC	164.042(021) , 40CNB
Country	Česko
Language	čeština
Document kind	BOOKS

Úvodní stať stručně sleduje jednak vznik, axiomatizaci, funkční úplnost a použitelnost trojhodnotové logiky, jednak její poměr k logice dvouhodnotové. Následuje jádro publikace, axiomatizace trojhodnotové logiky pojmově jednodušší než dosavadní systémy a navíc pojmově spjaté s dvouhodnotovou logikou. Zdroj anotace: Národní knihovna ČR

Number of the records: 1