Büchi's Monadic second order successor arithmetic

Saved in:

Bibliographic Details
Main Author:	Siefkes, Dirk (Author)
Format:	Book
Language:	English
Published:	Berlín Springer-Verlag 1970
Series:	Lecture Notes in Mathematics, 120. Decidable theories, 1
Subjects:	Lógica matemática Teoría de conjuntos Cálculo TEOREMAS CALCULO DE PREDICADOS Integrales
Tags:	Add Tag No Tags, Be the first to tag this record!

Biblioteca de Matemática -

Holdings details from Biblioteca de Matemática -
Call Number:	511.322 SIE 1970
Copy 1479423	Available Place a Hold