Biblioteca San Esteban Salamanca catalog › ISBD view

Search

Normal view MARC view ISBD view

Bourdeau, Michel

La théorie intuitionniste des types: sémantique des preuves et théorie des constructions / Michel Bourdeau

Print
Suggest for purchase
More searches

Search for this title in:
Otras bibliotecas (WorldCat) Otras bases de datos (Google Scholar) Tiendas Online (Bookfinder.com) Open Library (openlibrary.org)

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha