matematička logika (HOL)
matematička logika, dio matematike nastao razvojem formalne logike uz konzekventnu primjenu sustava simbola ...
HE HOL2 TL HOL

Quine, Willard Van Orman (HOL)
Quine, Willard Van Orman (1908–2000), američki filozof i matematičar ...
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

Couturat, Louis Alexandre (HOL)
Couturat, Louis Alexandre (1868–1914), francuski filozof i matematičar ...
HE HOL2 HOL

Devidé, Vladimir (HOL)
Devidé, Vladimir (1925–2010), hrvatski matematičar i pjesnik ...
HE HTE HBL HOL2 HOL

Hilbert, David (HOL)
Hilbert, David (1862–1943), njemački 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

matematika (HOL)
matematika (grč.), znanost o odnosima među čistim, apstraktnim veličinama ...
HE HOL2 HOL

Russell, Bertrand (HOL)
Russell, Bertrand (1872–1970), engleski filozof ...
HE HOL2 HOL