Godel '96 : logical foundations of mathematics, computer science, and physics - Kurt Godel's Legacy / edited by Petr Hajek

• Pubblicazione: Natick (MA) : Association for Symbolic Logic, c1996
• Descrizione fisica: VIII, 322 p. ; 24 cm
• Soggetto non controllato: Logica; Ricorsività
• Persona (resp. second.): Hajek, Petr
• Titolo autorizzato: Godel '96
• ISBN: 1-56881-153-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 990001028380403321
• Lo trovi qui: Univ. Federico II
• Collocazione: 7-247