Matches in Library of Congress for { <http://lccn.loc.gov/2002031656> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2002031656 contributor B9225396.
- 2002031656 created "2002.".
- 2002031656 date "2002".
- 2002031656 date "2002.".
- 2002031656 dateCopyrighted "2002.".
- 2002031656 description "Includes bibliographical references (p. 371-380) and index.".
- 2002031656 extent "xviii, 390 p. :".
- 2002031656 identifier "1402007639 (alk. paper)".
- 2002031656 identifier 2002031656-d.html.
- 2002031656 identifier 2002031656-t.html.
- 2002031656 isPartOf "Applied logic series ; v. 27".
- 2002031656 issued "2002".
- 2002031656 issued "2002.".
- 2002031656 language "eng".
- 2002031656 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 2002031656 subject "511.3 21".
- 2002031656 subject "Logic, Symbolic and mathematical.".
- 2002031656 subject "QA9 .A638 2002".
- 2002031656 subject "Type theory.".
- 2002031656 title "An introduction to mathematical logic and type theory : to truth through proof / by Peter B. Andrews.".
- 2002031656 type "text".