short form |
logika |
definition |
grana matematike koja logiku proučava matematičkim sredstvima i bavi se osnovama matematike i problemom dokaza |
equivalents |
english: mathematical logic |
classification |
polje: matematika |
source |