Author Results for Pym David J.

Pym,David J.
(Christos),
(Tyler W.)
David J. Pym and Eike Ritter
Ioannidis,C.
see all »
Moore,Tyler
Oxford University Press
Pym,David J
Ritter,Eike
SpringerLink (Online service)

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

Cover is for reference only
Main Authors: Pym, David J.
Corporate Authors: Oxford University Press.
Group Author: Ritter, Eike.
Published: Clarendon Press ; Oxford University Press,
Publication Dates: 2004.
eBook
Save to List
Saved in:
2
The semantics and proof theory of the logic of bunched implications

Cover is for reference only
Main Authors: Pym David J
Published: Kluwer Academic Publishers,
Publication Dates: c2002.
Call Number: O141/P996
Book
Save to List
Saved in:
3
Reductive logic and proof-search proof theory, semantics, and control

Cover is for reference only
Main Authors: Pym David J.
Group Author: Ritter Eike.
Published: Clarendon Press Oxford University Press,
Publication Dates: 2004.
Call Number: O141/P996-1
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —