Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas.
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 proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In an...
Celý popis
Uloženo v:
Podrobná bibliografie
| Hlavní autoři: |
Ebbinghaus, Heinz-Dieter, 1939-
(Autor),
Flum, Jörg
(Autor),
Thomas, Wolfgang, 1947-
(Autor) |
|---|
| Médium: | E-kniha
|
|---|
| Jazyk: | English |
|---|
| Vydáno: |
Cham, Switzerland :
Springer,
[2021]
|
|---|
| Vydání: | Third edition. |
|---|
| Edice: | Graduate texts in mathematics,
|
|---|
| Témata: | |
|---|
| On-line přístup: | Click for online access
|
|---|