Number of the records: 1
Neklasické logiky
Mleziva, Miroslav, 1929-1990 - Author
Vyd. 1. - Praha : Svoboda, 1970 - 226 s.
ISBN (Brož.)
výroková logika logické systémy
monografieCall number C 75.002 Umístění Title statement Školní zdravotnictví. 2., Zdravotní a nápravná pohybová výchova / Karel Kubíček Portion of title Zdravotní a nápravná pohybová výchova Main entry-name Kubíček, Karel, 1896-1986 (Author) Edition statement 2. rozš. vydání Issue data Brno : Společnost pedagogického musea, 1947 (v Přerově : Frant. Bartoš) Phys.des. 146 s. : [24] s. obr. příl. ; 8° ISBN (Brož.) National bibl. num. cnb000671274 Edition Knihovna Společnosti pedagogického musea v Brně ; 13 Internal Bibliographies/Indexes Note Obsahuje bibliografii Subj. Headings zdravotní tělesná výchova * pohybová výchova * školy Form, Genre příručky Info RETRO-CATALOGUING - SHORT RECORD Title statement Neklasické logiky / Miroslav Mleziva Main entry-name Mleziva, Miroslav, 1929-1990 (Author) Edition statement Vyd. 1. Issue data Praha : Svoboda, 1970 Phys.des. 226 s. ISBN (Brož.) National bibl. num. cnb000125928 Internal Bibliographies/Indexes Note Obsahuje bibliografii Subj. Headings výroková logika * logické systémy Form, Genre monografie Conspect 16 - Logika UDC 004.312 , 164.1 , 510.633 , (048.8) Country Česko Language čeština Document kind BOOKS Ucelený, souhrnný a soustavný výklad neklasických logik (intuicionistické, modálních, logik striktní implikace a více hodnotových) se pohybuje na jisté elementární úrovni a je orientován hlavně k problémům výrokové logiky, v jejíž sféře se právě vyznačené logické systémy navzájem liší. Autor je podrobuje kritickému hodnocení z hlediska kritéria logičnosti soustav a vyjasňuje vzájemné vztahy mezi nimi a klasickou logikou. Celá práce je cenným přínosem pro podrobnější poznání situace v moderní logice. Zdroj anotace: Národní knihovna ČRLoading…
Number of the records: 1