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 | |
ISBN | 0198526334
|
Utgitt | New York : Oxford University Press , 2004
|
---|---|
Omfang | xv, 208 s.
|
Emner | |
ISBN | 0198526334
|