Matches in Library of Congress for { <http://lccn.loc.gov/00044401> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 00044401 contributor B36864.
- 00044401 contributor B36865.
- 00044401 created "2000.".
- 00044401 date "2000".
- 00044401 date "2000.".
- 00044401 dateCopyrighted "2000.".
- 00044401 description "Includes bibliographical references and index.".
- 00044401 extent "x, 266 p. :".
- 00044401 identifier "0792364732 (hb : alk. paper)".
- 00044401 identifier 00044401-d.html.
- 00044401 identifier 00044401-t.html.
- 00044401 isPartOf "Applied logic series ; v. 21".
- 00044401 issued "2000".
- 00044401 issued "2000.".
- 00044401 language "eng".
- 00044401 publisher "Dordrecht ; Boston : Kluwer Academic,".
- 00044401 subject "511.3 21".
- 00044401 subject "Proof theory.".
- 00044401 subject "QA9.54 .G33 2000".
- 00044401 title "Goal-directed proof theory / by Dov M. Gabbay and Nicola Olivetti.".
- 00044401 type "text".