Mathematical logic. Foundations for information science

DOI10.1007/978-3-0348-0862-0zbMath1334.03001OpenAlexW4241628373MaRDI QIDQ5891939

Wei Li

Publication date: 1 December 2014

Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-0348-0862-0

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) Classical propositional logic (03B05) Information theory (general) (94A15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01) Other applications of logic (03B80)

Related Items (1)

Logical verification of scientific discovery

This page was built for publication: Mathematical logic. Foundations for information science