On the Expressive Power of First-Order Logic with Built-In Predicates
Nicole SchweikardtAnnée:
2002
Editeur::
Logos
Langue:
english
Pages:
237
ISBN 10:
3832500170
Fichier:
PDF, 1.90 MB
IPFS:
,
english, 2002