Strict finitism and the logic of mathematical applications von Ye, Feng

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

Probabilistic logics and probabilistic networks

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

Logic and games on automatic structures playing with quantifiers and decompositions von Kaiser, Lukasz

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

Logic and its applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

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

Mathematical logic and model theory a brief introduction von Prestel, A. (Alexander) 1941-, Delzell, Charles N. 1953-

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

Aspects of mathematical logic von Casari, E.

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

Apartness and uniformity a constructive development von Bridges, Douglas S., Vîta, Luminita Simona

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

Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

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

Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

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

Frontiers of combining systems 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

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