本專著所要達到的目標是限度地實現類的數表示。直白地說,就是把類運算轉換為數的邏輯運算。這就需要在全體實數上定義一個邏輯代數,而在現有的數學框架中尚沒有這樣一個以全體實數為變元的邏輯代數。本書具體內容包括:第1章集合與ZF公理系統(tǒng),第2章命題邏輯與布爾代數,第3章類與NBG公理系統(tǒng),第4章類邏輯,第5章集合代數的表示,第6章序數、屆數和基數,第7章數的類邏輯構造,第8章非布爾代數及其擴展,第9章類邏輯的數表示,第10章完備算術與廣義類代數,第11章圖式邏輯的數表示,第12章空間、計數與類邏輯。