The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

David J. Pym
Ancora nessuna valutazione
Inglese · Copertina rigida
Aggiungi allo scaffale

Valuta questo libro

Esporta diario dei libri

Dettagli del libro

Formato Copertina rigida
Lingua Inglese
Editore Springer
Aggiungi allo scaffale

Valuta questo libro

Esporta diario dei libri