Logic for information technology
Häftad bok. Chichester : Wiley.
Mycket gott skick.
paperback wiley 502 g 1990 290 s kortsida 165mm tjocklek 17mm höjd 235mm utgallrat biblex toppskick synes oläst T OBS FOREIGN CUSTOMERS ALWAYS PAY IN ADVANCE OBS DYRT SKICKA UTOMLANDS OBS VERY EXPENSIVE TO SEND ABROAD
innehålL foreword preface 1 fundamental concepts of logic 2 the proopisitional calculus 3 proof systems for the propositional caluculus 4 the predicate calculus 5 proof systems for the predicate calculus 6 first order theories 7 modal and temporal logic appendix: solutions to selcted exercices
Förlagsfakta
- ISBN
- 0471929336
- Titel
- Logic for information technology
- Författare
- Galton, Antony
- Förlag
- Chichester : Wiley
- Språk
- English
