[Bornat, Richard]
O1
9780198530275 GBP62.0
Oxford University Press 2006-09-07 Paperback
PBCD |T Mathematical logic; UYA |T Mathematical theory of computation; UFM |T Mathematical & statistical software
1 共有: 1条记录