Matches in Library of Congress for { <http://lccn.loc.gov/2004051545> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2004051545 contributor B9855670.
- 2004051545 contributor B9855671.
- 2004051545 created "c2004.".
- 2004051545 date "2004".
- 2004051545 date "c2004.".
- 2004051545 dateCopyrighted "c2004.".
- 2004051545 description "Includes bibliographical references (p. 337-348) and indexes.".
- 2004051545 extent "xiv, 357 p. ;".
- 2004051545 identifier "1402023340 (alk. paper)".
- 2004051545 identifier "1402023359 (e-book)".
- 2004051545 identifier 2004051545-d.html.
- 2004051545 identifier 2004051545-t.html.
- 2004051545 isPartOf "Applied logic series ; v. 29".
- 2004051545 issued "2004".
- 2004051545 issued "c2004.".
- 2004051545 language "eng".
- 2004051545 publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- 2004051545 subject "511.3 22".
- 2004051545 subject "QA9 .K225 2004".
- 2004051545 subject "Type theory.".
- 2004051545 title "A modern perspective on type theory : from its origins until today / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.".
- 2004051545 type "text".