Arithmetic, proof theory, and computational complexity, edited by Clote Peter and Jan Krajíček, Oxford logic guides, no. 23, Clarendon Press, Oxford University Press, Oxford and New York 1993, xiii + 428 pp.
Arithmetic, proof theory, and computational complexity, edited by Clote Peter and Jan Krajíček, Oxford logic guides, no. 23, Clarendon Press, Oxford University Press, Oxford and New York 1993, xiii + 428 pp.
Fernando Ferreira
1995 · DOI: 10.2307/2275774
Journal of Symbolic Logic (JSL) · 0 citazioni
TLDR
The book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level.