Equivalents of the Axiom of Choice, II
H. Rubin
Download - Immediately Available
Format: eBook (PDF)
Symbolic Logic and Mechanical Theorem Proving
Chin-Liang Chang
Download - Immediately Available
Format: eBook (PDF)
Fuzzy Sets and Systems : Theory and Applications
Didier J. Dubois
Download - Immediately Available
Format: eBook (PDF)
Foundations of Genetic Algorithms 1993 (FOGA 2)
FOGA
Download - Immediately Available
Format: eBook (PDF)
Constructivism in Mathematics, Vol 2
A.S. Troelstra
Download - Immediately Available
Format: eBook (PDF)
Harvey Friedman's Research on the Foundations of Mathematics
L.A. Harrington
Download - Immediately Available
Format: eBook (PDF)
The Law of Non-Contradiction : New Philosophical Essays
Graham Priest
Download - Immediately Available
Format: eBook (PDF)
Mathematical Logic and Model Theory : A Brief Introduction
Alexander Prestel
Download - Immediately Available
Format: eBook (PDF)
A Proof Theory for Description Logics
Alexandre Rademaker
Download - Immediately Available
Format: eBook (PDF)
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Download - Immediately Available
Format: eBook (PDF)
Belief Revision in Non-Classical Logics
Marcio Moretto Ribeiro
Download - Immediately Available
Format: eBook (PDF)
L.E.J. Brouwer - Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
Dirk van Dalen
Download - Immediately Available
Format: eBook (PDF)
New Directions of Modern Cryptography
Zhenfu Cao
Download - Immediately Available
Format: eBook (PDF)
Iris Biometric Model for Secured Network Access
Franjieh El Khoury
Download - Immediately Available
Format: eBook (PDF)