
Set theory for verification. II: Induction and recursion
Lawrence C. PaulsonVolume:
15
Année:
1995
Langue:
english
Pages:
49
DOI:
10.1007/bf00881916
Fichier:
PDF, 2.64 MB
english, 1995