Matematička logika
54 POGLAVLJE 1. LOGIKA SUDOVA 1.6.2 Konzistentnost Sada nam je cilj dokazati generalizirani teorem potpunosti za logiku sudova koji daje vezu izme ~~d~~ u semantiˇckog svojstva skupa formula – ispunjivosti,...
Matematika
Prirodoslovno-matematički fakultet
254 stranica
Matematika, Skripte
Objavio gajaliman
·
