m
     
MathOuvrage

H 0 Büchi's monadic second order successor arithmetic

H

Siefkes, Dirk

Springer

1970

130

8707

https://link.springer.com/book/10.1007/BFb0061047


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 8707 1020926 GALERIE

Type de doc : M

Ville d'édition : Berlin

Langue ouvrage : eng

Collection : Lecture notes in mathematics ; Decidable Theories

N° dans la collection : 0120

ISSN Collection : 0075-8434

Année de soutenance : 0

Lien SUDOC : https://www.sudoc.fr/006783023

Voir aussi

Z