A Transfinite Type Theory with Type Variables / di Andrews Peter B.

• Autore: Andrews, Peter B.
• Pubblicazione: Amsterdam : Publishing Company, 1965
• Edizione: North-
• Descrizione fisica: Studies in Logic and the Foundations of Mat ematics
• Titolo autorizzato: Transfinite Type Theory with Type Variables
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 990001125330403321
• Lo trovi qui: Univ. Federico II
• Collocazione: C-30-(38