Matches in Library of Congress for { <http://lccn.loc.gov/2011929986> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2011929986 contributor B12417860.
- 2011929986 created "2011.".
- 2011929986 date "2011".
- 2011929986 date "2011.".
- 2011929986 dateCopyrighted "2011.".
- 2011929986 extent "xiii, 196 p. :".
- 2011929986 identifier "9400717350 (hardcover : alk. paper)".
- 2011929986 identifier "9789400717350 (hardcover : alk. paper)".
- 2011929986 identifier "9789400717367 (e-ISBN)".
- 2011929986 isPartOf "Logic, epistemology and the unity of science ; v. 22".
- 2011929986 isPartOf "Logic, epistemology and the unity of science ; v. 22.".
- 2011929986 issued "2011".
- 2011929986 issued "2011.".
- 2011929986 language "eng".
- 2011929986 publisher "New York : Springer,".
- 2011929986 subject "511.3 23".
- 2011929986 subject "QA9 .G697 2011".
- 2011929986 subject "Type theory.".
- 2011929986 title "Treatise on intuitionistic type theory / Johan Georg Granström.".
- 2011929986 type "text".