Extensions of First-Order Logic

Manzano, Maria

Ouvrage indisponible

Éditeur
Cambridge University Press
Pages
412
Parution
août 2005
Format
Livre broché
Langue
Anglais
Dimensions
247 × 174 × 21 cm
EAN
9780521019026
  • Résumé

An introduction to many-sorted logic as an extension of first-order logic.
Bio de l'auteur
Sommaire / contenu
Nous vous suggérons aussi
Retour en haut de page