عنوان
پدید آورنده
موضوع
رده
QA 9 .P87 2004
QA
9
.
P87
2004
کتابخانه
محل استقرار
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Reductive logic and proof-search: proof theory, semantics, and control
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Oxford, UK : Oxford University Press
Name of Publisher, Distributor, etc.
Clarendon Press ; New York :
Date of Publication, Distribution, etc.
2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 208 p.: ill.; 24 cm
SERIES
Other Title Information
Oxford logic guides; 54
GENERAL NOTES
Text of Note
Includes bibliographical references )p. ]197[-204( and index.
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
David J. Pym and Eike Ritter
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Proof theory
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
9
.
P87
2004
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Pym, David J.
Relator Code
AU
AU Ritter, Eike.
TI
SE
