عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9781402067815
NATIONAL BIBLIOGRAPHY NUMBER
Number
42312
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Analysis and Synthesis of Logics
General Material Designation
[Electronic book]
Other Title Information
: How to Cut and Paste Reasoning Systems
First Statement of Responsibility
\ by Walter Carnielli...[et.al]
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2008
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 600 p
Other Physical Details
:ill
SERIES
Series Title
Applied logic series
Volume Designation
; v.35
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Logic, Symbolic and mathematical.
منطق ریاضی
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - PRIMARY RESPONSIBILITY
Carnielli, Walter Alexandre
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9781402067815.pdf
BL
278840
1
