Cover von Reductive logic and proof-search opens in new tab

Reductive logic and proof-search

proof theory, semantics, and control
Author: Search for this author Pym, David J.; Ritter, Eike
Statement of Responsibility: David J. Pym ; Eike Ritter
Year: 2004
Publisher: Oxford, Oxford University Press
Series: Oxford logic guides; 45
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: PYM DAVID J Location 2: 2nd FLOOR Location 3: Status: reference collection

Details

Author: Search for this author Pym, David J.; Ritter, Eike
Statement of Responsibility: David J. Pym ; Eike Ritter
Year: 2004
Publisher: Oxford, Oxford University Press
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 0-19-852633-4
Description: XV, 208 S.
Series: Oxford logic guides; 45
Search for this character
Media group: MONOGRAPHIE