Decidable theories: vol. 1: buchi's monadic second order successor arithmetic
Auteur :
Siefkes, Dirk
Éditeur :
Siefkes, Dirk
ISBN :
9783540049098
Date de publication :
1 janv. 1970
Dimensions :
23,4 x 15,6 x 0,7 cm
Poids :
470 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne