Formal Systems and Recursive Functions (Logic Colloquium'63)
Crossley J.N., Dummett M.A.E. (eds.)카테고리:
년:
1965
출판사:
NH
언어:
english
페이지:
321
ISBN 10:
0444534059
ISBN 13:
9780444534057
시리즈:
Studies in Logic and the Foundations of Mathematics, Volume 40
파일:
DJVU, 1.84 MB
IPFS:
,
english, 1965