Vista normal Vista MARC Vista ISBD

Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice /

Clerbout, Nicolas,

Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice / Nicolas Clerbout, Shahid Rahman. - xix, 99 páginas : ilustraciones. .

ISBN: 9783319190624

Subjects--Topical Terms:
CONSTRUCTIVISMO (FILOSOFIA)

Dewey Class. No.: 121

Imprimir
Agregar a su carrito (remover)
Guardar registro
BIBTEX Dublin Core ISBD MARC (no-Unicode/MARC-8) MARCXML MODS (XML) RIS MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Estándar)
Más búsquedas

Buscar este título en:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)