Apartness and uniformity a constructive development حسب 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

The mathematics of language 12th biennial conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

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

Tools for teaching logic Third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

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

Giuseppe Peano between mathematics and logic proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the...

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

Logica Metodo Breve حسب Mundici, Daniele

Available for University of the Philippines System via SpringerLink

Discrete structures, logic, and computability حسب Hein, James L.

Grammatical inference learning automata and grammars حسب De la Higuera, Colin