Proof theory, constructive mathematics
Author(s)
Bibliographic Information
Proof theory, constructive mathematics
（Perspectives in mathematical logic, . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 6）
Springer-Verlag, c1987
- : Germany
- : U.S.
- Other Title
-
Bibliography of mathematical logic
Available at / 36 libraries
-
Library & Science Information Center, Osaka Prefecture University
: GermanyNDC6:410.1||||10009424600
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyR||S-Bib-M||Ω-1||687028906
-
No Libraries matched.
- Remove all filters.
Note
Includes indexes
