Formalized mathematics : a computer assisted approach

• Pubblicazione: [Bialystok, Poland] : , : University of Białystok; Warsaw, Poland : , : De Gruyter Open
• Soggetto topico: Mathematics; Logic, Symbolic and mathematical; Mathematical analysis - Foundations; Arithmetic - Foundations
• Soggetto genere / forma: Electronic journals.; Periodicals.
• ISSN: 1898-9934
• Note generali: Refereed/Peer-reviewed
• Altri titoli varianti: Computer assisted approach
• Titolo autorizzato: Formalized mathematics
• Formato: Materiale a stampa
• Livello bibliografico: Periodico
• Lingua di pubblicazione: Inglese
• Record Nr.: 996321091003316
• Lo trovi qui: Univ. di Salerno