Mathematische Logik
Author:   Martin Ziegler
Publisher:   Birkhauser Verlag AG
Edition:   2. Aufl. 2017
ISBN:  

9783319441795


Pages:   152
Publication Date:   18 October 2016
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $34.99 Quantity:  
Add to Cart

Share |

Mathematische Logik


Add your own review!

Overview

Full Product Details

Author:   Martin Ziegler
Publisher:   Birkhauser Verlag AG
Imprint:   Birkhauser Verlag AG
Edition:   2. Aufl. 2017
Dimensions:   Width: 16.80cm , Height: 0.90cm , Length: 24.00cm
Weight:   0.454kg
ISBN:  

9783319441795


ISBN 10:   3319441795
Pages:   152
Publication Date:   18 October 2016
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.
Language:   German

Table of Contents

Prädikatenkalkül.- Strukturen und Formeln.- Semantik.- Allgemeingültige Formeln.- Der Gödelsche Vollständigkeitssatz.- Der Sequenzenkalkül.- Der Herbrandsche Satz.- Die Resolutionsmethode.- Mengenlehre.- Die Axiome.- Die natürlichen Zahlen.- Ordinalzahlen und Kardinalzahlen.- Metamathematik von ZFC.- Rekursionstheorie.- Registermaschinen.- Primitiv rekursive Funktionen und Gödelisierung.- Rekursiv aufzählbare Mengen.- Gödelnummern von Formeln.- Ein anderer Aufbau der rekursiven Funktionen.- Arithmetik.- Definierbare Relationen.- Das System Q.- Peanoarithmetik.- Der Zweite Gödelsche Unvollständigkeitssatz.

Reviews

Author Information

Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now