Set theory for verification. II: Induction and recursion

Set theory for verification. II: Induction and recursion

Lawrence C. Paulson
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
15
Année:
1995
Langue:
english
Pages:
49
DOI:
10.1007/bf00881916
Fichier:
PDF, 2.64 MB
english, 1995
La conversion en est effectuée
La conversion en a échoué