Selected topics in probabilistic safety assessment methodology and practice in nuclear power plants מאת Serbanescum, Dan, Ulmeanu, Anatoli Paul

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

A hierarchy of Turing degrees a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability מאת Downey, R. G. (Rod G.), Greenberg, Noam 1974-

Also available remotely for University of the Philippines System via IEEE Xplore. Click here to access thru EZproxy
Available for University of the Philippines System via IEEE Xplore. Click here to access

Three views of logic mathematics, philosophy, and computer science מאת Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G.

Table of contents only

Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 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

The calculus formally known as pi. מאת Kelly-Bootle, Stan

Thinking about acting logical foundations for rational decision making מאת Pollock, John L.

An introduction to non-classical logic מאת Priest, Graham

An introduction to non-classical logic מאת Priest, Graham

Publisher description
Table of contents

Cornerstones of undecidability מאת Rozenberg, Grzegorz