Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer
Schwichtenberg, Helmut, Wainer, Stanley SԿատեգորիաներ:
Տարի:
2012
Հրատարակչություն:
CUP
Լեզու:
english
Էջեր:
465
ISBN 10:
0521517699
ISBN 13:
9780521517690
Սերիաներ:
PERSPECTIVES IN LOGIC
Ֆայլ:
PDF, 2.20 MB
IPFS:
,
english, 2012