B Chi's Monadic Second Order Successor Arithmetic

一元二阶后继算法

[Dirk Siefkes]

O1

9783662358481  EUR46.72

Springer Berlin Heidelberg     Paperback

mathematics/ general