Einführung in die klassische und intensionale Logik

Autor Ulf Friedrichsdorf

de Limba Germană Paperback – 1992

Preț: 391^.94 lei

Preț vechi: 450^.51 lei
-13% Nou

Puncte Express: 588

:
75^.01€ • 78^.14$ • 62^.37£

Carte tipărită la comandă

Livrare economică 05-11 februarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783528064891
ISBN-10: 3528064897
Pagini: 368
Ilustrații: VIII, 354 S. 4 Abb.
Dimensiuni: 162 x 229 x 19 mm
Ediția:1992
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Cuprins

§1 Mengen, Relationen und Funktionen.- §2 Aussagenlogik.- §3 Modale Aussagenlogik.- §4 Varianten der modalen Aussagenlogik.- §5 Grundbegriffe der Prädikatenlogik.- §6 Normalformen und der Satz von Herbrand.- §7 Der Gödelsche Vollständigkeitssatz.- §8 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze.- §9 Einige modelltheoretische Begriffe und Sätze.- §10 Modale Prädikatenlogik.- §11 Dynamische Prädikatenlogik.- §12 Höherstufige Prädikatenlogik.- §13 Typentheorie.- Mengentheoretischer Anhang.- Literatur.- Symbole und Notationen.- Register.

Notă biografică

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.

Papetărie, jocuri, reviste