M. Dummett, Elements of Intuitionism, 2000.

D. Gabbay, Semantical Investigations in Heyting's Intuitionistic Logic, chapter Consequence Relations, 1981.

G. Gentzen, The Collected Works of Gerhard Gentzen, chapter Investigations into Logical Deduction, 1969.

S. Kleene, Introduction to Metamathematics, 1952.

D. Makinson, Handbook of Logic in Artificial Intelligence and Logic Programming, chapter General Patterns in Nonmonotonic Reasoning, 1994.

D. Scott, Completeness and Axiomatizability in Many-Valued Logic, Proceedings of the Tarski Symposium, pp.411-435, 1974.

A. Tarski and . Logic, chapter On Some Fundamental Concepts of Metamathematics, 1956.