Book review of: W. Li, Mathematical logic. Foundations for information science

DOI10.1017/S147106841100055XMaRDI QIDQ2884259zbMATH OpenOpenAlexFDO

Authors Rosella Gennari

Publication date 24 May 2012

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s147106841100055x

Mathematics Subject Classification ID

External book reviews (00A17) Classical propositional logic (03B05) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Other applications of logic (03B80)

Cited in

(2)

• Book review of: A. Platzer, Logical foundations of cyber-physical systems
• Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics

This page was built for publication: Book review of: W. Li, Mathematical logic. Foundations for information science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884259)