-
1
Probabilistic logics and probabilistic networks
Опубликовано 2011Available for the University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
2
-
3
-
4
-
5
-
6
-
7
Proofs and algorithms an introduction to logic and computability
Опубликовано 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
8
-
9
Hybrid logic and its proof-theory
Опубликовано 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
10
Mathematical logic and model theory a brief introduction
Опубликовано 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource