Sökt på: Sökresultat
totalt 9 träffar
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 …
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 …
Finite Model Theory
Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of …
O-Bibliography of Mathematical Logic
Ernst Zermelo
Ernst Zermelo (1871-1953) is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and …
Recursion Theory Week
Ernst Zermelo - Collected Works/Gesammelte Werke II
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include …