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...
Cur síos iomlán
Sábháilte in:
Sonraí bibleagrafaíochta
| Príomhchruthaitheoirí: |
Ebbinghaus, Heinz-Dieter, 1939-
(Údar),
Flum, Jörg
(Údar),
Thomas, Wolfgang, 1947-
(Údar) |
|---|
| Formáid: | Ríomhleabhar
|
|---|
| Teanga: | English |
|---|
| Foilsithe / Cruthaithe: |
Cham, Switzerland :
Springer,
[2021]
|
|---|
| Eagrán: | Third edition. |
|---|
| Sraith: | Graduate texts in mathematics,
|
|---|
| Ábhair: | |
|---|
| Rochtain ar líne: | Click for online access
|
|---|