Matches in Library of Congress for { <http://lccn.loc.gov/2008920294> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2008920294 contributor B11376446.
- 2008920294 created "c2008.".
- 2008920294 date "2008".
- 2008920294 date "c2008.".
- 2008920294 dateCopyrighted "c2008.".
- 2008920294 description "Includes bibliographical references (p. 559-578) and index.".
- 2008920294 extent "xvi, 600 p. :".
- 2008920294 identifier "140206781X (hbk.)".
- 2008920294 identifier "1402067828 (ebk.)".
- 2008920294 identifier "9781402067815 (hbk. : alk. paper)".
- 2008920294 identifier "9781402067822 (ebk.)".
- 2008920294 identifier 2008920294.html.
- 2008920294 isPartOf "Applied logic series ; v. 35".
- 2008920294 issued "2008".
- 2008920294 issued "c2008.".
- 2008920294 language "eng".
- 2008920294 publisher "Dordrecht : Springer,".
- 2008920294 subject "511.3 22".
- 2008920294 subject "Logic, Symbolic and mathematical.".
- 2008920294 subject "QA9 .A634 2008".
- 2008920294 title "Analysis and synthesis of logics : how to cut and paste reasoning systems / Walter Carnielli ... [et al.].".
- 2008920294 type "text".