Hakutulokset: Kirjoja kirjailijalta Heinz-Dieter Ebbinghaus
yhteensä 29 hakutulosta
Einführung in die Mengenlehre
Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. …
Ernst Zermelo - Collected Works/Gesammelte Werke
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also …
Recursion Theory Week
O-Bibliography of Mathematical Logic
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded …
Mathematical Logic
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical …
Mathematical Logic
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical …
Finite Model Theory
Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and …
Zahlen und Zeilen oder das blaue Pferd
Einführung in die mathematische Logik
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden …
Einführung in die mathematische Logik
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden …
Finite Model Theory
Finite model theory, the model theory of finite structures, has roots in clas- sical model theory; however, its systematic development was strongly influ- enced by research and …