Basic Proof Theory
This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics o...
| Butik | Lagerstatus | Leverans | Pris | Frakt | Totalt |
|---|---|---|---|---|---|
| Adlibris | - | 587 | 0 | 587 SEK | |
| Bokus | - | 613 | 0 | 613 SEK | |
| Akademibokhandeln | - | 619 | 0 | 619 SEK |