Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

Proof theory and algebra in logic

Ono, Hiroakira,

Proof theory and algebra in logic / Hiroakira Ono - viii, 160 páginas : ilustraciones - Short textbooks in logic, 2522-5480 .

9789811379963


Teoría de la demostración
Lógica algebraica

QA9.54 / O57

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad