Book
Einführung in die moderne Logik / Franz von Kutschera, Alfred Breitkopf.
Record details
- ISBN: 3495472096
- Physical Description: 1-193 S.
- Edition: 6. Auflage.
- Publisher: Freiburg/München : verlag Karl Alber , 1992.
Content descriptions
| Formatted Contents Note: | 1. Gegenstand und Bedeutung der Logik -- 2. Sätze und Satzverbindungen --3. Satzoperatoren -- 4. Aussagenlogische Schlüssel -- 5. Syntax und Semantik der Aussagenlogik -- 6. Eine axiomatische Theorie der Aussagenlogik -- 7. Widerspruchsfreiheit und Vollständigkeit -- 8. Namen, Prädikate und Quantoren -- 9. Syntax und Semantik der Prädikatenlogik -- 10. Eine axiomatische Theorie der Prädikatenlogik -- 11. Widerspruchsfreiheit und Vollständigkeit deraxiomatische Theorie L -- 12. Der Kalkül der semantischen Tafeln -- 13. Erweiterungen der Prädikatenlogik -- 14. Definitionen -- 15. Mengenlehre -- Lösung der Aufgaben -- Beweise -- Liste einfacher logischer Gesetze -- Bibliographie -- Symbolverzeichnis -- Sachregister. |
Search for related items by subject
| Subject: | Logik. > Moderne Logik. ლოგიკა. > თანამედროვე ლოგიკა. |
Search for related items by series
Available copies
- 1 of 1 copy available at United Catalog.
Holds
- 0 current holds with 1 total copy.
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Grigol Tsereteli Reading Hall | ლ. მჭედლ-30 | 900001918408 | Stacks | Available | - |
| LDR | 00620cam a2200205Ka 4500 | ||
|---|---|---|---|
| 001 | 308792 | ||
| 003 | GUL | ||
| 005 | 20241209105744.0 | ||
| 020 | . | ‡a3495472096 | |
| 080 | 0 | . | ‡a16 |
| 092 | . | ‡aK-95 | |
| 100 | 1 | . | ‡aKutschera, Franz von. |
| 245 | 1 | 0. | ‡aEinführung in die moderne Logik / ‡cFranz von Kutschera, Alfred Breitkopf. |
| 250 | . | ‡a6. Auflage. | |
| 260 | . | ‡aFreiburg/München : ‡bverlag Karl Alber , ‡c1992. | |
| 300 | . | ‡a1-193 S. | |
| 490 | 0 | . | ‡aKolleg Philosophie. |
| 505 | . | ‡a1. Gegenstand und Bedeutung der Logik -- 2. Sätze und Satzverbindungen --3. Satzoperatoren -- 4. Aussagenlogische Schlüssel -- 5. Syntax und Semantik der Aussagenlogik -- 6. Eine axiomatische Theorie der Aussagenlogik -- 7. Widerspruchsfreiheit und Vollständigkeit -- 8. Namen, Prädikate und Quantoren -- 9. Syntax und Semantik der Prädikatenlogik -- 10. Eine axiomatische Theorie der Prädikatenlogik -- 11. Widerspruchsfreiheit und Vollständigkeit deraxiomatische Theorie L -- 12. Der Kalkül der semantischen Tafeln -- 13. Erweiterungen der Prädikatenlogik -- 14. Definitionen -- 15. Mengenlehre -- Lösung der Aufgaben -- Beweise -- Liste einfacher logischer Gesetze -- Bibliographie -- Symbolverzeichnis -- Sachregister. | |
| 650 | 1 | 4. | ‡aLogik. ‡xModerne Logik. |
| 650 | 2 | 4. | ‡aლოგიკა. ‡xთანამედროვე ლოგიკა. |
| 700 | 1 | . | ‡aBreitkopfმ, Alfred. ‡eCo-Autor. |
| 830 | 0. | ‡aლერი მჭედლიშვილის კოლექცია, შემომწირველი ლ. გაფრინდაშვილი (900001918408). | |
| 910 | . | ‡aღვინაძე მარიამი. | |
| 901 | . | ‡a308792 ‡bAUTOGEN ‡c308792 ‡tbiblio | |
