Matches in Library of Congress for { <http://lccn.loc.gov/2004049208> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2004049208 contributor B9853068.
- 2004049208 contributor B9853069.
- 2004049208 created "2004.".
- 2004049208 date "2004".
- 2004049208 date "2004.".
- 2004049208 dateCopyrighted "2004.".
- 2004049208 description "Includes bibliographical references and index.".
- 2004049208 extent "xv, 208 p. :".
- 2004049208 identifier "0198526334 (alk. paper)".
- 2004049208 identifier 2004049208-d.html.
- 2004049208 identifier 2004049208-t.html.
- 2004049208 isPartOf "Oxford logic guides ; 45".
- 2004049208 issued "2004".
- 2004049208 issued "2004.".
- 2004049208 language "eng".
- 2004049208 publisher "Oxford, UK : Clarendon Press ; New York : Oxford University Press,".
- 2004049208 subject "511.3 22".
- 2004049208 subject "Logic, Symbolic and mathematical.".
- 2004049208 subject "Proof theory.".
- 2004049208 subject "QA9 .P87 2004".
- 2004049208 title "Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym and Eike Ritter.".
- 2004049208 type "text".