Matches in Library of Congress for { <http://lccn.loc.gov/2006048390> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2006048390 contributor B10462865.
- 2006048390 contributor B10462866.
- 2006048390 created "2007.".
- 2006048390 date "2007".
- 2006048390 date "2007.".
- 2006048390 dateCopyrighted "2007.".
- 2006048390 description "Includes bibliographical references and index.".
- 2006048390 extent "p. cm.".
- 2006048390 identifier "0444520775".
- 2006048390 identifier "9780444520777".
- 2006048390 identifier 2006048390-d.html.
- 2006048390 isPartOf "Studies in logic and the foundations of mathematics, 0049-237X ; v. 149".
- 2006048390 issued "2007".
- 2006048390 issued "2007.".
- 2006048390 language "eng".
- 2006048390 publisher "Boston, MA : Elsevier,".
- 2006048390 subject "511.3/26 22".
- 2006048390 subject "Curry-Howard isomorphism.".
- 2006048390 subject "Lambda calculus.".
- 2006048390 subject "Proof theory.".
- 2006048390 subject "QA9.54 .S67 2007".
- 2006048390 title "Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.".
- 2006048390 type "text".