Matches in Library of Congress for { <http://lccn.loc.gov/98043478> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 98043478 contributor B8366552.
- 98043478 created "c1999.".
- 98043478 date "1999".
- 98043478 date "c1999.".
- 98043478 dateCopyrighted "c1999.".
- 98043478 description "Includes bibliographical references (p. 717-733) and indexes.".
- 98043478 extent "xviii, 760 p. :".
- 98043478 identifier "0444501703".
- 98043478 isPartOf "Studies in logic and the foundations of mathematics ; v. 141".
- 98043478 issued "1999".
- 98043478 issued "c1999.".
- 98043478 language "eng".
- 98043478 publisher "Amsterdam ; New York : Elsevier Science,".
- 98043478 subject "511.3 21".
- 98043478 subject "Categories (Mathematics)".
- 98043478 subject "QA9 .J27 1999".
- 98043478 subject "Type theory.".
- 98043478 title "Categorical logic and type theory / Bart Jacobs.".
- 98043478 type "text".