هذا الكتاب يناقش علم منطق الحاسوب وتنظيمه، وفكرة الجملة في علم الحاسوب، والعبارة اللغوية، والجمل الرمزية والبسيطة والمركبة، وتحديد جداول القيم لجمل رمزية أخرى، وقاعدة الأسبقية، والعبارات الشرطية والتكافؤ المنطقي، وقوانين كل من: المنطق، والتوزيع، والترابط، وعمليات التبادل، وغيرها، والثاني: الاستنتاج (الاستقراء)الرياضي؛ ويتحدث عن الاستنتاج (الاستقراء) الرياضي بأساسٍ مختلف، وبرهنة المتباينات بواسطة الاستنتاج الرياضي، وغيرها، والثالث: المجموعات والعلاقات والدوال؛ ويتحدث عن وصف المجموعة، وتساوي المجموعات، والمجموعات الجزئية، وإيجاد المجموعات الجزئية، والعلاقة بين المجموعات المختلفة للأعداد، والمتتالية، وغيرها، والرابع: أنظمة العد؛ ويتحدث عن تركيب البيانات، والتمثيل الداخلي للمعلومات، وغيرها، والخامس: الجبر البولياني؛ ويتحدث عن الجبر البولياني للجمل، وغيره، والسادس: الخوارزميات؛ ويتحدث عن مجموعة الرموز للخوارزميات، وخوارزمية إيجاد الأكبر لثلاثة أعداد، وغيرها، والسابع: مبادئ نظرية المخططات؛ ويتحدث عن المخططات المتشابهة أو المتماثلة، والمسارات والدورات الكاملة، وغيرها، والثامن: الشجرة؛ ويتحدث عن إنشاء شجرة تشفير هوفمان، والشجرة ثنائية التفرع، والشجرة ثلاثية التفرع، وغيرها.