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