Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Primijenjena logika (CROSBI ID 744868)

Druge vrste radova | ostalo

• Obrazovni materijal (nedefinirano )

Vuković, Mladen Primijenjena logika. Zagreb: PMF-Matematički odsjek, 2011. 225..

Podaci o odgovornosti

Vuković, Mladen

hrvatski

Primijenjena logika

Skripta je namijenjena studentima doktorskog studija matematike. Sastoji se od sljedeća četiri poglavlja: 1. Teorija modela, 2. Teorija dokaza, 3. Goedelovi teoremi nepotpunosti, 4. Dodatak: Izračunljivost.

matematička logika; teorija modela; teorija dokaza; izračunljivost

nije evidentirano

engleski

Applied Logic

nije evidentirano

mathematical logic; model theory; proof theory; computability

nije evidentirano

Podaci o izdanju

Zagreb: PMF-Matematički odsjek

225

2011.

nije evidentirano

objavljeno

Povezanost rada

Matematika

Poveznice