Math 2.0

Resources / monograph

Computations in Higher Types E94153Q961

URIm2://res/E94153Q961
Kindmonograph
CreatorsJohan Moldestad
Date1977
MSC03D60, 03D65, 03-02
Scopein

Expressions

e1: edition

Languageen
Date1977
IdsDOI 10.1007/bfb0087822, zbl 0352.02033, zbl_id 3547276

Relations

Catalogue records