Büchi’s Monadic Second Order Successor Arithmetic
Dirk Siefkes (auth.)种类:
年:
1970
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
german
页:
133
ISBN 10:
3662366789
ISBN 13:
9783662366783
系列:
Lecture Notes in Mathematics
文件:
PDF, 12.36 MB
IPFS:
,
german, 1970
因版权方投诉,本书无法下载