|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Ulf FriedrichsdorfPublisher: Springer Fachmedien Wiesbaden Imprint: Vieweg+Teubner Verlag Edition: 1992 ed. Weight: 0.568kg ISBN: 9783528064891ISBN 10: 3528064897 Pages: 354 Publication Date: 01 January 1992 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Language: German Table of Contents§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.ReviewsAuthor InformationDr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz. Tab Content 6Author Website:Countries AvailableAll regions |