عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:0198530269
NATIONAL BIBLIOGRAPHY NUMBER
Number
34095
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof and Disproof in Formal Logic
General Material Designation
[electronic resources]
Other Title Information
: An Introduction for Programmers
First Statement of Responsibility
\ Richard Bornat
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
, New York
Name of Publisher, Distributor, etc.
: Oxford University Press
Date of Publication, Distribution, etc.
, 2005
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xix, 243p.
Other Physical Details
:ill.
Dimensions
;25 cm.
SERIES
Series Title
Oxford Texts in Logic
ISSN of Series
,2
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Evidence
Logic, Modern
منطق جدید
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - PRIMARY RESPONSIBILITY
Bornat, Richard,1944-
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20150109085123.0
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
0198530269.pdf
Uniform Resource Identifier
http://www.loc.gov/catdir/toc/ecip0516/2005019564.html
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy0637/2005019564-d.html
BL
279177
1
N
