Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik) (CROSBI ID 18733)
Autorska knjiga | monografija (znanstvena) | domaća recenzija
Podaci o odgovornosti
Skansi, Sandro
hrvatski
Logika i dokazi (drugo izdanje knjige, prvo izdanje kao sveučilišni udžbenik)
Ova knjiga je drugo i značajno prošireno (skoro 30%) i redigirano izdanje knjige pod istim naslovom iz 2016. Proširenja su bila u svrhu transformacije izvorne monografije u udžbenik (za nastavu logike na sve tri razine obrazovanja u sklopu studija filozofije). Prilikom ove prilagodbe, izvorni znanstveni doprinosi prisutni u izvornoj monografiji su ostavljeni i u ovom izdanju, premda je jasnije specificirano u kojim se dijelovima knjige ti doprinosi nalaze.
Logika, dokazni sustavi, zadovoljivost, lambda račun, deskriptivna kompleksnost, eliminacija reza, logika drugog reda
nije evidentirano
engleski
Logic and Proofs (second edition, first edition as a University Textbook)
nije evidentirano
Logic, proof systems, satisfiability, lambda calculus, descriptive complexity, cut elimination, second order logic
nije evidentirano
Podaci o izdanju
Zagreb: Hrvatski studiji Sveučilišta u Zagrebu ; Element
2019.
978-953-197-660-2
292
objavljeno