polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
grana matematike koja logiku proučava matematičkim sredstvima i bavi se osnovama matematike i problemom dokaza
grana matematike koja logiku proučava matematičkim sredstvima i bavi se osnovama matematike i problemom dokaza
Rod: ženski
Vrsta riječi: višerječni naziv