aksiomatika (HOL)
aksiomatika (grč.), skup ili sustav aksioma.
...
HE HOL2 HOL
Whitehead, Alfred North (HOL)
Whitehead, Alfred North (1861–1947), engleski filozof i matematičar ...
HE HOL2 HOL
upit: aksiomatika; pronađenih odgovora: 2; vrijeme izvršavanja upita: 125 ms