zbMath0988.03086MaRDI QIDQ4539641
Stephan Schmitt, Uwe Egly
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830561
Mathematics Subject Classification ID
03B70: Logic in computer science
03F07: Structure of proofs