The Computational Complexity of Logical Theories: 718 (Lecture Notes in Mathematics, 718)

Substrate Logic: The Native Computational Language of the Universe

Logical Foundations of Proof Complexity (Perspectives in Logic)

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

On the complexity of stratified logics: Relationship between stratified light logics and algebras of functions used to characterize polynomial time computable functions