Matches in Library of Congress for { <http://lccn.loc.gov/94034022> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 94034022 contributor B7197466.
- 94034022 created "1994.".
- 94034022 date "1994".
- 94034022 date "1994.".
- 94034022 dateCopyrighted "1994.".
- 94034022 description "Includes bibliographical references and indexes.".
- 94034022 extent "xix, 1024 p. :".
- 94034022 identifier "0444898220".
- 94034022 isPartOf "Studies in logic and the foundations of mathematics ; v. 133".
- 94034022 issued "1994".
- 94034022 issued "1994.".
- 94034022 language "eng".
- 94034022 publisher "Amsterdam ; New York : Elsevier,".
- 94034022 subject "511.3 20".
- 94034022 subject "AUTOMATH (Formal language)".
- 94034022 subject "QA267.3 .S45 1994".
- 94034022 title "Selected papers on Automath / edited by R.P. Nederpelt ... [et al.].".
- 94034022 type "text".