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 !

Simbolička logika (CROSBI ID 742091)

Druge vrste radova | ostalo

• Obrazovni materijal (nedefinirano )

Žarnić, Berislav Simbolička logika. Split: [web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu], 2004. 294..

Podaci o odgovornosti

Žarnić, Berislav

hrvatski

Simbolička logika

Za nastavne svrhe kolegija "Simbolička logika" (Odsjek za filozofiju, Filozofski fakultet Svaučilišta u Rijeci) priređena je skripta čiji sadržaj većim dijelom prati sadržaj sljedećih udžbenika (po navedenim poglavljima): Jon Barwise i John Etchemendy (2000) Language, Proof and Logic. Center for the study of Language and Information Stanford University (poglavlja: 1, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19) ; George S. Boolos i Richard C. Jeffrey(1989) Computability and Logic. CambridgeUniversity Press (poglavlja: 3, 5, 10) ; L.T.F. Gamut [J. van Benthem, J. Groenendijk, D. de Jongh, M. Stokof, H. Verkuyl] (1991) Logic, Language and Meaning. Volume II: Intensional Logic and Logical Grammar. The University of Chicago Press (poglavlje: 2).

logika prvog reda; metateorija; izračunljivost; modalna logika

nije evidentirano

engleski

Symbolic Logic

nije evidentirano

first order logic; metatheory; computability; modal logic

nije evidentirano

Podaci o izdanju

Split: [web-stranice na poslužitelju Visoke učiteljske škole Sveučilišta u Splitu]

294

2004.

nije evidentirano

objavljeno

Povezanost rada

Filozofija

Poveznice