Computational logic and set theory applying formalized logic to analysis Yazar: Schwartz, Jacob T.

Available for University of the Philippines Diliman via SpringerLink. Click here to access

The structure of the real line Yazar: Bukovsky, Lev

Available for University of the Philippines Diliman via SpringerLink. Click here to access

A Cp-theory problem book topological and function spaces Yazar: Tkachuk, V. V.

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Ranking and prioritization for multi-indicator systems Introduction to partial order applications Yazar: Brüggemann, Rainer

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Proofs and fundamentals a first course in abstract mathematics Yazar: Bloch, Ethan D. 1956-

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Set theory Boolean-valued models and independence proofs Yazar: Bell, J. L.

A data discovery model for incomplete information systems Yazar: Africa, Aaron Don M.

Proofs and concepts the fundamentals of abstract mathematics Yazar: Morris, Dave Witte

Sets, sequences and mappings the basic concepts of analysis Yazar: Anderson, Kenneth W.

Decision theory principles and approaches Yazar: Parmigiani, Giovanni