Gödel's incompleteness theorems
Raymond M. Smullyan
Bok · Engelsk · 1992 · Lærebøker
| Utgitt | New York : Oxford University Press , 1992
|
|---|---|
| Omfang | xiii, 139 s.
|
| Emner | Gödel's theorem
Aritmetikk Bevisteori Gödels ufullstendighetsteoremer Vis mer... Logikk
Symbolsk logikk Teoremer symbolsk logikk proof theory ufullstendighetsteoremer teoremer bevisteori matematisk aksiomatisering aritmetikk lærebøker gødels teorem gödels |
| Sjanger | |
| ISBN | 0195046722
|
- NTNU Universitetsbiblioteket: Teknologibiblioteket har 0 av 0 ledig (Oppdaterer)
- UiO : Universitetsbiblioteket: HumSam-biblioteket har 0 av 0 ledig (Oppdaterer)
- UiO : Universitetsbiblioteket: Realfagsbiblioteket har 0 av 0 ledig (Oppdaterer)
- UiT Norges arktiske universitet: Natur- og helsefagbiblioteket har 0 av 0 ledig (Oppdaterer)
- Universitetsbiblioteket i Bergen: Bibliotek for naturvitenskap og teknologi har 0 av 0 ledig (Oppdaterer)
- Universitetsbiblioteket i Stavanger: Ullandhaug har 0 av 0 ledig (Oppdaterer)
- Universitetsbiblioteket i Sørøst-Norge: Biblioteket - Bø har 0 av 0 ledig (Oppdaterer)