|
- naslov
Elementi matematičke logike
- autor
Slaviša B. Prešić
- šifra
- B-31538
- izdanje
- četvrto
- jezik
- srpski
- pismo
- latinica
- biblioteka
- Matematička biblioteka / knj.34
- izdavač
- Zavod za udžbenike Beograd.
- štamparija
- Štamparija "Bakar" Bor.
- godina
- 1983.
- opis
- mek povez, ilustr pl korice, 143 strane, 20cm
- stanje
- vrlo dobro-odlično
- cena
- n/a
- knjiga status
- prodato
- tiraž
- 3.000
- širi opis
- sadržaj:
- Predgovor.
- PRVI DEO
- I. Iskazna algebra
- II. Kvantifikatorski račun prvog reda (formule i glavna interpretacija)
- III. Definicije
- DRUGI DEO
- I. Formalne teorije
- II. Iskazni račun L
- III. Kvantifikatorski račun prvog reda.
- Specijalni kvantifikatorski računi prvog reda.
- Kratak istorijski pregled.
|