Sökt på: Sökresultat
totalt 5 träffar
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 …
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 …
Klanggeräusche
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 …