Logic, construction, computation [electronic resource] / Ulrich Berger ... [et al.] (eds.).
2012
BC71 .L64 2012eb
Linked e-resources
Linked Resource
Online Access
Details
Title
Logic, construction, computation [electronic resource] / Ulrich Berger ... [et al.] (eds.).
ISBN
9783868381580
9783110324532
9783110324921 (electronic book)
9783110324532
9783110324921 (electronic book)
Publication Details
Heusenstamm [Germany] : ontos, 2012.
Language
English
Description
540 p. : ill., port.
Call Number
BC71 .L64 2012eb
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Added Author
Berger, Ulrich.
Series
Ontos mathematical logic ; v. 3
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources