Matches in Library of Congress for { <http://lccn.loc.gov/2013444003> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2013444003 contributor B12818511.
- 2013444003 contributor B12818512.
- 2013444003 created "2013.".
- 2013444003 date "2013".
- 2013444003 date "2013.".
- 2013444003 dateCopyrighted "2013.".
- 2013444003 description "Includes bibliographical references (pages 791-813) and index.".
- 2013444003 extent "xxii, 833 pages ;".
- 2013444003 identifier "0521766141 (cloth)".
- 2013444003 identifier "9780521766142 (cloth)".
- 2013444003 isPartOf "Perspectives in logic".
- 2013444003 isPartOf "Perspectives in logic.".
- 2013444003 issued "2013".
- 2013444003 issued "2013.".
- 2013444003 language "eng".
- 2013444003 publisher "Cambridge ; New York : Cambridge University Press,".
- 2013444003 subject "511.35 23".
- 2013444003 subject "Lambda calculus.".
- 2013444003 subject "QA9.5 .B365 2013".
- 2013444003 title "Lambda calculus with types / Henk Barendregt, Radboud University, Nijmegen, Wil Dekkers, Radboud University, Nijmegen, Richard Statman, Carnegie Mellon University.".
- 2013444003 type "text".