simbolička logika (HOL)
simbolička logika → logistika ...
HE HOL

Lewis, Clarence Irving (HOL)
Lewis, Clarence Irving (1883–1964), američki filozof ...
HE HOL2 HOL

Boole, George (HOL)
Boole, George (1815–1864), engleski matematičar i filozof ...
HE HOL2 HOL

Church, Alonzo (HOL)
Church, Alonzo (1903–1995), američki filozof i matematičar ...
HE HOL2 HOL

Frege, Gottlob (HOL)
Frege, Gottlob (1848–1925), njemački filozof i matematičar ...
HE HOL2 HOL

logistika (HOL)
logistika (grč.). 1. Oblik simboličke logike za koju je karakterističan program izvođenja matematike iz logike ... 2. ...
HE HOL2 HOL

pojam (HOL)
pojam. 1. Zamisao bitnih svojstava i odnosa nekoga objekta. 2. ...
HE HOL2 TL HOL

Quine, Willard Van Orman (HOL)
Quine, Willard Van Orman (1908–2000), američki filozof i matematičar ...
HE HOL2 HOL

Tarski, Alfred (HOL)
Tarski, Alfred (1902–1983), američki matematičar poljskoga podrijetla ...
HE HOL2 HOL

Whitehead, Alfred North (HOL)
Whitehead, Alfred North (1861–1947), engleski filozof i matematičar ...
HE HOL2 HOL