On the Expressive Power of First-Order Logic with Built-In Predicates
Nicole Schweikardt년:
2002
출판사:
Logos
언어:
english
페이지:
237
ISBN 10:
3832500170
파일:
PDF, 1.90 MB
IPFS:
,
english, 2002