𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The new role of mathematical logic: A tool for computer science

✍ Scribed by Giuseppe Longo

Book ID
107766535
Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
444 KB
Volume
57-58
Category
Article
ISSN
0020-0255

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Mathematical Logic for Computer Science
Mathematical Logic for Computer Science Volume 2 || Temporal Logic: A Deductive System
✍ Ben-Ari, Mordechai πŸ“‚ Article πŸ“… 2012 πŸ› Springer London 🌐 English βš– 211 KB

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to under

Science-technology coupling: The case of
Science-technology coupling: The case of mathematical logic and computer science
✍ Wagner-DοΏ½bler, Roland πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 304 KB πŸ‘ 2 views

In the history of science, there have often been periods a substantial range of methodologies for the examination of sudden rapprochements between pure science and of the relationship between pure and applied science, technology-oriented branches of science. Mathematical which can be conceived of as

Mathematical Logic for Computer Science
Mathematical Logic for Computer Science Volume 368 || Verification of Concurrent Programs
✍ Ben-Ari, Mordechai πŸ“‚ Article πŸ“… 2012 πŸ› Springer London 🌐 English βš– 459 KB

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to under