Journal of formalized reasoning

• Pubblicazione: Bologna, Italy, : Centro Inter-Bibliotecario
• Soggetto topico: Proof theory; Formalization (Linguistics); Metamathematics; Logic, Symbolic and mathematical
• Soggetto genere / forma: Periodicals.
• Soggetto non controllato: Mathematical Theory
• Note generali: Refereed/Peer-reviewed
• Titolo abbreviato (Periodici): J. Formaliz. Reason
• Titolo autorizzato: Journal of formalized reasoning
• Formato: Materiale a stampa
• Livello bibliografico: Periodico
• Lingua di pubblicazione: Inglese
• Record Nr.: 996321401103316
• Lo trovi qui: Univ. di Salerno