Applications and t ...
Naive set theory,
Foundations of hig ...
Introduction to ma ...
An accompaniment t ...
Computability : a ...
Exploring randomne ...
Membrane computing ...
Uncertain rule-bas ...
Logic for computer ...
Principles of logi ...
Mathematics and Lo ...
Handbook of proof ...
An introduction to ...