Reductive logic and proof-search : proof theory, semantics, and control

David J. Pym and Eike Ritter
Bok · Engelsk · 2004

Utgitt	New York : Oxford University Press , 2004
Omfang	xv, 208 s.
Emner	Logic, Symbolic and mathematical Proof theory Bevisteori
ISBN	0198526334