Goal-directed proof theory

Detalles Bibliográficos
Autores principales: Gabbay, Dov M, Olivetti, Nicola
Lenguaje:eng
Publicado: Springer 2000
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-94-017-1713-7
http://cds.cern.ch/record/1620736
Descripción
Descripción no disponible.

Ejemplares similares