Formal Methods in Computer Science
Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang
Download Now
Format: eBook (PDF)
Classic Set Theory : For Guided Independent Study
D.C. (Open University) Goldrei
Download Now
Format: eBook (PDF)
Bidirectional Comparison of Nominal Sets : Asymmetry of Proximity
Grazyna Szkatula
Download Now
Format: eBook (EPUB)
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method
Alex Citkin
Download Now
Format: eBook (PDF)
An Ontological and Epistemological Perspective of Fuzzy Set Theory
I. Burhan Turksen
Download Now
Format: eBook (EPUB)
Logical Frameworks for Truth and Abstraction : An Axiomatic Study
A. Cantini
Download Now
Format: eBook (PDF)
Paraconsistency : The Logical Way to the Inconsistent
Walter Alexandr (State University of Campinas, Brazil) Carnielli
Download Now
Format: eBook (PDF)