Mathematical logic for computer science
- Utgiven: 1993
- ISBN: 9780135641392
- Sidor: 305 st
- Förlag: Prentice Hall
- Språk: Engelska
Om boken
Designed to provide a firm foundation in mathematical logic, this work aims to serve as an elementary textbook for both graduate study and for applications of logic, such as logic programming and format specification and verification.
Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker
Mer om Mathematical logic for computer science (1993)
1993 släpptes boken Mathematical logic for computer science skriven av M. Ben-Ari. Den är skriven på engelska och består av 305 sidor. Förlaget bakom boken är Prentice Hall som har sitt säte i Upper saddle river.
Köp boken Mathematical logic for computer science på Studentapan och spara pengar.
Referera till Mathematical logic for computer science
Harvard
Ben-Ari, M. (1993). Mathematical logic for computer science. Prentice Hall.
Oxford
Ben-Ari, M., Mathematical logic for computer science (Prentice Hall, 1993).
APA
Ben-Ari, M. (1993). Mathematical logic for computer science. Prentice Hall.
Vancouver
Ben-Ari M. Mathematical logic for computer science. Prentice Hall; 1993.
