Klasická matematická logika
Výrokový počet. Predikátový počet. Dokazatelnost a výroková prokazatelnost. Dokazatelnost a nedokazatelnost v aritmetice. Základy teorie modelů. Rozhodnutelnost, interpolace a nedokazatelnost.
Saved in:
Bibliographic Details
- Main Author
- Document Type
- Books
- Physical Description
- 402 s. váz.
- Published
-
Praha :
Karolinum,
2001
- Edition
- 1. vyd.
- Subjects
- ISBN
- 80-246-0218-0
Select institution:
Holdings
Help| Availability | Status | Department | Collection | Location | Description | Note | Call # | |
|---|---|---|---|---|---|---|---|---|
|
Outside loan
|
Loading…
|
DEP
|
N
|
490.00 Kč | D-2346 | |||
|
Outside loan
|
Loading…
|
Knihovna ČNB
|
D2 (do jednoho dne)
|
D-2346 |