1-12 of 12 Books

Mathematische Grundlagen der Informatik
By Christoph Meinel,Martin Mundhenk

Simplified independence proofs
By Rosser, J. Barkley

Mathematischer Einführungskurs für Informatiker
By Walter Oberschelp,Detlef Wille

Simplified Independence Proofs: Boolean Valued Models of Set Theory (Pure & Applied Mathematics)
By J. Barkley Rosser

Introduction to Boolean Algebras
By Steven R. Givant

Threshold logic and its applications
By Saburo Muroga