Name: 1.: Büchi's Monadic Second Order Successor Arithmetic
Author: 43015

Fa parte di

*Decidable Theories , 1

Lecture notes in mathematics , 120

Documento per sola consultazione interna

Inventario eMF 5458

Collocazione CONS e-book 5458

Scaffale

biblioteche Università Vanvitelli, biblioteche Vanvitelli, biblioteche Università degli Studi della Campania, Sebina, biblioteca, opac, catalogo biblioteca, Campania, Catalogo biblioteca, catalogo on-line, Prestito libri

Catalogo online d'Ateneo dell'Università degli Studi della Campania "Luigi Vanvitelli"