Vai al contenuto principale della pagina

4: Mathematical logic / A. M. Turing ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman ... [et al.]



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Turing, Alan M. Visualizza persona
Titolo: 4: Mathematical logic / A. M. Turing ; edited by R. O. Gandy and C. E. M. Yates ; including prefaces by Solomon Feferman ... [et al.] Visualizza cluster
Titolo uniforme: Collected works of A. M. Turing. 4, Mathematical logic  
Edizione: Amsterdam : Elsevier, 2001. - XII
Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]
Persona (resp. second.): Feferman, Solomon
Gandy, Robin O.
Yates, C. E. M.
Titolo autorizzato: Collected works of A. M. Turing. 4, Mathematical logic  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN0092516
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico https://www.sciencedirect.com/book/9780444504234/mathematical-logic
Opac: Controlla la disponibilità qui
Fa parte di: Collected works of A. M. Turing Amsterdam [etc.] . -North-Holland volumi , 25 cm ; 4