nastavit jako výchozí stránku
   
   kultura

Sequens
 Jiří, *23.4.1922 (Brno) – †21.1.2008 (Praha), český filmový a televizní režisér a ...

Murphy
 [Márfy], Eddie, *3.4.1961 (Brooklyn, New York, USA), vlastním jménem Edward Regan Murphy, americký...

Willis
 [Vilis], Bruce, *19.3.1955 (Idar-Oberstein, Německo), vlastním jménem Walter Bruce Willis, americký...

Höger
 [Hégr], Karel, *17.6.1909 (Královo Pole, Brno, Rakousko-Uhersko; datum narození podle rodného listu...

Brousek
 Otakar st., *28.9.1924 (Krhanice u Benešova, Československo) – †14.3.2014 (Praha, Česká...


Ackermann
[akrman] Wilhelm Friedrich, *29.3.1896 – †24.12.1962, německý matematik a logik. Významně se podílel na realizaci Hilbertova programu. Napsal řadu prací z metalogiky, o systémech logiky bez teorie typu; vytvořil teorii přísné implikace.


 

Odkazující hesla: modální logika
Vytvořeno: 14.3.2000
Aktualizováno: 19.10.2005
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2017, OPTIMUS s.r.o.