Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4.

DOI10.1017/S147106841100055XzbMATH Open1328.00036OpenAlexW2216177522MaRDI QIDQ2884259

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

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

Related Items (2)

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

This page was built for publication: Mathematical Logic: Foundations for Information Science by Wei Li, Birkhäuser, Berlin, 2010. Hardcover, ISBN-978-3-7643-9976-4.