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

Författare
David J. Pym
(David J. Pym and Eike Ritter.)
Genre
Bibliografi
Språk
Engelska
Förlag År Ort Om boken ISBN
Oxford University Press 2004 New York, New York xv, 208 sidor. 0-19-852633-4
Oxford University Press 2004 England, Oxford 226 sidor.