Foundations of Constructive Mathematics : Metamathematical Studies / Michael J. Beeson

• Autore: Beeson, Michael J.
• Pubblicazione: Berlin, : Springer, 1985
• Descrizione fisica: xxiii, 466 p. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03F50 - Metamathematics of constructive systems [MSC 2020]; 03F55 - Intuitionistic mathematics [MSC 2020]; 03F60 - Constructive and recursive analysis [MSC 2020]; 03F65 - Other constructive mathematics [MSC 2020]
• Soggetto non controllato: Computability theory; Computer; Computer Science; Development; Forcing; Mathematics; Model theory; Organization; Philosophy; Proof by contradiction; Proofs; Proving; Set Theory; eXist
• Titolo autorizzato: Foundations of constructive mathematics
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00263519
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-3-642-68952-9
• Serie: Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, A series of modern surveys in mathematics Berlin [etc.] . -Springer , 1983- ; 6