Algebra of proofs

Detalles Bibliográficos
Autores principales: Szabo, M E, Barwise, K J, Kaplan, D, Keisler, H J
Lenguaje:eng
Publicado: Elsevier Science 2016
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2295825

Internet

http://cds.cern.ch/record/2295825

Ejemplares similares