Proof procedures for multiple-valued propositional logics

Detalles Bibliográficos
Autor principal:	Manyà, Felip (-)
Formato:	Tesis
Idioma:	Inglés
Publicado:	Bellaterra, Barcelona : Universitat Autònoma, Servei de Publicacions 1998
Colección:	Publicacions de la Universitat Autònoma de Barcelona. Tesi doctoral
Materias:	Lóxica simbólica e matemática- > Teses e escritos académicos Programación lóxica- > Teses e escritos académicos Estimación, Teoría da- > Teses e escritos académicos
Ver en Universidad de Navarra:	https://unika.unav.edu/discovery/fulldisplay?docid=alma991007045449708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es

Descripción
Descripción Física:	1 microficha ; 11 x 15 cm + 1 foll. (7 p. ; 18 cm)
ISBN:	9788449009471

Ejemplares similares