|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Wolfgang RautenbergPublisher: Springer Fachmedien Wiesbaden Imprint: Vieweg+Teubner Verlag Edition: 3., überarb. Aufl. 2008 Dimensions: Width: 17.00cm , Height: 1.50cm , Length: 24.40cm Weight: 0.489kg ISBN: 9783834805782ISBN 10: 3834805785 Pages: 257 Publication Date: 15 July 2008 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 ContentsAussagenlogik.- Prädikatenlogik.- Der Gödelsche Vollständigkeitssatz.- Grundlagen der Logikprogrammierung.- Elemente der Modelltheorie.- Unvollständigkeit und Unentscheidbarkeit.- Zur Theorie der Selbstreferenz.ReviewsAuthor InformationProfessor Dr. Wolfgang Rautenberg ist Professor für Mathematik an der Freien Universität Berlin. Tab Content 6Author Website:Countries AvailableAll regions |