Loading...
Completeness,compactness and undecidability /
| Hovedforfatter: | |
|---|---|
| Format: | Printed Book |
| Sprog: | English |
| Udgivet: |
New Jersey
Prentice -Hall
1975
|
| Serier: | Introduction to mathematical logic
|
MAT
| Klassifikationsnummer: |
510.633 MAN |
|---|---|
| Kopi | Live Status Unavailable |