Matches in Library of Congress for { <http://lccn.loc.gov/2005297208> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2005297208 contributor B10190805.
- 2005297208 created "2004.".
- 2005297208 date "2004".
- 2005297208 date "2004.".
- 2005297208 dateCopyrighted "2004.".
- 2005297208 description "Includes bibliographical references.".
- 2005297208 extent "x, 381 p. :".
- 2005297208 identifier "0521608570 (pbk.)".
- 2005297208 identifier 2005297208-d.html.
- 2005297208 identifier 2005297208-t.html.
- 2005297208 isPartOf "London Mathematical Society lecture note series ; 316".
- 2005297208 issued "2004".
- 2005297208 issued "2004.".
- 2005297208 language "eng".
- 2005297208 publisher "Cambridge, UK ; New York : Cambridge University Press,".
- 2005297208 subject "511.3'6 22".
- 2005297208 subject "Computer science Mathematics.".
- 2005297208 subject "Logic, Symbolic and mathematical.".
- 2005297208 subject "Proof theory.".
- 2005297208 subject "QA9.54 .L56 2004".
- 2005297208 title "Linear logic in computer science / edited by Thomas Ehrhard ... [et al.].".
- 2005297208 type "text".