2. A Course on Mathematical Logi
Author: / by Shashi Mohan Srivastava
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
Classification :
E-BOOK
4. Cut elimination in categories /
Author: Kosta Došen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Elimination,Proof theory
5. Handbook of Logic and Proof Techniques for Computer Science
Author: by Steven G. Krantz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Mathematics.
Classification :
QA76
.
B978
2002
