Bochvar-McCarthy logic and process algebra

J.A. Bergstra, A. Ponse

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	464-484
Number of pages	20
Journal	Notre Dame Journal of Formal Logic
Volume	39
Issue number	4
Publication status	Published - 2000

Cite this

@article{5f4592fef952438b9237570a36abde4c,

title = "Bochvar-McCarthy logic and process algebra",

author = "J.A. Bergstra and A. Ponse",

year = "2000",

language = "Undefined/Unknown",

volume = "39",

pages = "464--484",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "4",

}