Etiquetaseries:Cambridge Tracts in Theoretical Computer Science

Incluye: series:Cambridge Tracts in Theoretical Computer Science, series:cambridge tracts in theoretical computer science

Obras etiquetadas

Etiquetado más a menudo | Ponderado | Recientemente popular | Publicado recientemente — Filtrar: Ninguno (editar)

Introduction to coalgebra : towards mathematics of states and observation por Bart Jacobs (1 veces)
Basic Proof Theory por A. S. Troelstra (1 veces)
Modal Logic por Patrick Blackburn (1 veces)

Títulos Portadas

Usan esta etiqueta

idiosyncratic (3)

Etiquetas relacionadas

Cargando...

Series relacionadas

Cambridge Tracts in Theoretical Computer Science

Grupos de etiquetas relacionados

Cambridge, math (1)

computer science, logic (1)

computer science, semantics (1)

math, modal logic (1)

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson