Metamathematics of first-order arithmetic.
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin:
Springer,
1993
|
| Σειρά: | Perspectives in mathematical logic
|
| Θέματα: |
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin:
Springer,
1993
|
| Σειρά: | Perspectives in mathematical logic
|
| Θέματα: |