Mathematical logic in computer science

• ISBN 10 : UOM:39015037748327
• Judul : Mathematical logic in computer science
• Pengarang : B. Dömölki,   Tamás Gergely,   Bolyai János Matematikai Társulat,   Tamás Gergely,   Bolyai János Matematikai Társulat,  
• Kategori : Mathematics
• Bahasa : en
• Tahun : 1981
• Halaman : 757
• Halaman : 757
• Google Book : http://books.google.com/books?id=0NLuAAAAMAAJ&dq=intitle:computer+sains&hl=&source=gbs_api
• Ketersediaan :

Also in this class, a set of papers are using model-theoretical methods for the
mathematical foundation of certain computer science concepts, such as in the
papers of Bertoni-Mauri- Miglioli, Gergely-Vry, Mdvkusz-SzSts and Tiuryn. The
paper by Pliuskeviaius deals with the proof theory for programming logic.
Algebraic logic and different algebraic approaches to the theory of programming
are represented by papers of Andv4ka-Sains Arbib-Manes, Couraelle, Hoehnke,
Meseguer and ...