1.

Record Nr.

UNICAMPANIAVAN00055496

Autore

Kleene, Stephen Cole

Titolo

Introduction to metamathematics / by Stephen Cole Kleene

Pubbl/distr/stampa

Amsterdam, : North-Holland ; Groningen, : Noordhoff, stampa 2000

ISBN

07-204-2103-9

Descrizione fisica

X, 550 p. ; 24 cm

Soggetti

03-XX - Mathematical logic and foundations [MSC 2020]

03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia