1989

Algebraizable logics

Blok, W. J., 1947-



 

2002

Analysis and logic

 

2002

Computability and logic

Boolos, George.
4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey


 

2007

Computability and logic

Boolos, George.
5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey


 

2010

A course in mathematical logic for mathematicians

Manin, I︠U︡. I.
2nd ed


 

1979

Degrees of unsolvability : structure and theory

Epstein, Richard L., 1947-



 

2007

Dependence logic : a new approach to independence friendly logic

Väänänen, J. (Jouko), 1950-



 

2006

Doubt truth to be a liar

Priest, Graham.



 

2010

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

 

1979

First-order dynamic logic

Harel, David, 1950-



 

2014

Formalism and beyond : on the nature of mathematical discourse

Boston : De Gruyter, 2014

 

2003

Free logic : selected essays

Lambert, Karel, 1928-



 

1982

From axiom to dialogue : a philosophical study of logics and argumentation

Barth, E. M



 

2005

Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings

FroCoS (Symposium) (5th : 2005 : Vienna, Austria)



 

2007

Handbook of spatial logics

 

2012

Introduction to mathematical structures and proofs

Gerstein, Larry J.
2nd ed