Selected topics in probabilistic safety assessment methodology and practice in nuclear power plants di 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 di 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 di 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. di Kelly-Bootle, Stan

Thinking about acting logical foundations for rational decision making di Pollock, John L.

An introduction to non-classical logic di Priest, Graham

An introduction to non-classical logic di Priest, Graham

Publisher description
Table of contents

Cornerstones of undecidability di Rozenberg, Grzegorz