Open Logic Project / Richard Zach, Andrew Arana, Jeremy Avigad, Walter Dean, Gillian Russell, Nicole Wyatt, Audrey Yap.
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...
| Uniform Title: | Open Textbook Library.
|
|---|---|
| Main Authors: | |
| Corporate Author: | |
| Language: | English |
| Language and/or Writing System: |
In English. |
| Published: |
[Place of publication not identified] :
Zach, Richard,
[2016]
|
| Series: | Open Textbook Library.
|
| Subjects: | |
| Genre: | |
| Online Access: | |
| Physical Description: | 1 online resource. |
| Format: | Electronic Website |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.