Matches in Library of Congress for { <http://lccn.loc.gov/00025107> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 00025107 contributor B14261.
- 00025107 created "c2000.".
- 00025107 date "2000".
- 00025107 date "c2000.".
- 00025107 dateCopyrighted "c2000.".
- 00025107 extent "x, 354 p. ;".
- 00025107 identifier "0792361806 (acid-free paper)".
- 00025107 identifier 00025107-d.html.
- 00025107 identifier 00025107-t.html.
- 00025107 isPartOf "Synthese library ; v. 290".
- 00025107 issued "2000".
- 00025107 issued "c2000.".
- 00025107 language "eng".
- 00025107 publisher "Dordrecht ; Boston : Kluwer,".
- 00025107 subject "511.3 21".
- 00025107 subject "QA9 .S5845 2000".
- 00025107 subject "Type theory.".
- 00025107 title "History and philosophy of constructive type theory / by Giovanni Sommaruga.".
- 00025107 type "text".