Open Logic Project

• मुख्य लेखकों: Zach, Richard (लेखक), Arana, Andrew (लेखक), Avigad, Jeremy (लेखक), Dean, Walter (लेखक), Russell, Gillian (लेखक), Wyatt, Nicole (लेखक), Yap, Audrey (लेखक)
• स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
• भाषा: अंग्रेज़ी
• प्रकाशित: Calgary, Alberta Open Logic Text [2016]
• श्रृंखला: Open textbook library.
• विषय: Humanities > Textbooks; Mathematics > Textbooks; Philosophy > Textbooks
• ऑनलाइन पहुंच: Access online version

The Open Logic Text is an open-source, collaborative textbook of formal meta-logic and formal methods, starting at an intermediate level (i.e., after an introductory formal logic course). Though aimed at a non-mathematical audience (in particular, students of philosophy and computer science), it is...