Resources

Linear and Nonlinear Programming

Author : Luenberger 

Springer

Access online

Logicism, Intuitionism, and Formalism

Author : Lindström 

Springer

Access online

Logics for Concurrency

Author : Moller 

Springer

Access online

Logics in AI

Author : Eijck 

Springer

Access online

Logics in AI

Author : Pearce 

Springer

Access online

Logics in Artificial Intelligence

Author : Calimeri 

Springer

Access online