Introduction to metamathematics
by Stephen Cole Kleene.
Bok Engelsk 1952
Utgitt | Amsterdam : North-Holland , 1952
|
---|---|
Omfang | x, 550 s.
|
Emner | Gödels teorem
Gödels ufullstendighetsteoremer Logikk Matematisk filosofi Vis mer... Matematisk logikk
Metamatematikk Rekursive funksjoner Turingmaskiner Gödels ufullstendighetsteoremer((NO-TrBIB)REAL012892) Logikk((NO-TrBIB)REAL012460) Matematisk filosofi((NO-TrBIB)HUME08172) Matematisk logikk((NO-TrBIB)REAL012433) Metamatematikk((NO-TrBIB)REAL005038) Turingmaskiner((NO-TrBIB)REAL001768) metamatematikk matematisk logikk |