Coverart for item
The Resource Computations in higher types, Johan Moldestad

Computations in higher types, Johan Moldestad

Label
Computations in higher types
Title
Computations in higher types
Statement of responsibility
Johan Moldestad
Creator
Subject
Language
eng
Member of
Dewey number
  • 510/.8 s
  • 511/.3
Index
index present
LC call number
  • QA3
  • QA9.615
LC item number
.L28 no. 574
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in mathematics
Series volume
574
Label
Computations in higher types, Johan Moldestad
Instantiates
Publication
Note
Includes indexes
Bibliography note
Includes bibliographical references (p. [195]-196)
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
203 p.
Isbn
9780387081328
Lccn
77001375 //r852
Media category
unmediated
Media MARC source
rdamedia
System control number
  • (RLIN)UTBG90-B14322
  • (OCoLC)ocn135312855
Label
Computations in higher types, Johan Moldestad
Publication
Note
Includes indexes
Bibliography note
Includes bibliographical references (p. [195]-196)
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
25 cm.
Extent
203 p.
Isbn
9780387081328
Lccn
77001375 //r852
Media category
unmediated
Media MARC source
rdamedia
System control number
  • (RLIN)UTBG90-B14322
  • (OCoLC)ocn135312855

Library Locations

    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
Processing Feedback ...