![Model theory / Formal languages / First-order logic / Predicate logic / Constructible universe / Chemical reaction / Well-formed formula / Function / Logic / Mathematical logic / Mathematics Model theory / Formal languages / First-order logic / Predicate logic / Constructible universe / Chemical reaction / Well-formed formula / Function / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/b8a3ec42f50919c191be5509009399eb.jpg) Date: 2012-01-23 11:40:19Model theory Formal languages First-order logic Predicate logic Constructible universe Chemical reaction Well-formed formula Function Logic Mathematical logic Mathematics | | Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke,Add to Reading ListSource URL: www.ida.liu.seDownload Document from Source Website File Size: 96,95 KBShare Document on Facebook
|