Abstrak
Mathematical logic; Theories with induction.
Kata kunci
Computers
BookOpen AccessTerbit 2017Versi 1
The Logical Basis for Computer Programming: Deductive reasoning
Informasi bibliografis
| Identifier OAI | oai:ais:library-item:75113 |
|---|---|
| Jenis dokumen | Book |
| Bahasa | en |
| Koleksi | Koleksi Perpustakaan |
| dc.subject | Computers |
| dc.publisher | Addison-Wesley Professional |
| dc.type | Book |
| dc.rights.access | OPEN_ACCESS |
| dc.date.issued | 2017-12-18 |
Versi dan riwayat publik
- Versi 1The Logical Basis for Computer Programming: Deductive reasoning2017 · oai:ais:library-item:75113