john n.crossley

本書是數理邏輯領域的代表性著作，旨在向零基礎的讀者普及數理邏輯知識。自1972年問世以來，本書得到眾多邏輯學家的肯定，並始終是該領域的長銷之作。

簡明扼要是本書一大特色。秉持將“難懂”的數理邏輯以通俗易懂的方式介紹給一般讀者的理念，幾位元作者精選數理邏輯中最典型的思想，生動地介紹了數理邏輯發展史、謂詞演算的完全性、模型論、圖靈機與遞迴函數、哥德爾不完全性定理、集合論等。相對獨立的章節是本書另一大特色。

全書各章之間不存在緊密的層級關係，讀者可根據理解的程度，暫時跳過某些章節，待需要時再返回重新閱讀。這種寫作方式有助於讀者在短時間內掌握數理邏輯的主要內容，奠定進一步學習邏輯、數學、電腦科學等知識的基礎。

約翰·N．克羅斯利（John N. Crossley） 英國數學家、邏輯學家。1963年于牛津大學獲得哲學博士學位與數學碩士學位。畢業後成為牛津大學頭一位元數理邏輯教師，牛津大學萬靈學院研究員。自1968年起，長期任教于澳大利亞莫納什大學，並于2010年成為該校榮休教授。

主要研究領域為邏輯、數學和電腦科學。著有《構成性序型》（Constructive Order Types，1969）、《數理邏輯是什麼》（What Is Mathematical Logic?，1972，合著）、《組合函子》（Combinatorial Functors，1974，合著）、《數的出現》（The Emergence of Number，1987）、《九章算術：導讀與注釋》（The Nine Chapters on the Mathematical Art: Companion & Commentary，2000，合著）、《程式就是證明：柯裡—霍華德對應》（Adapting Proofs-as-Programs: The Curry-Howard Protocol，2005，合著）、《成長的數字觀》（Growing Ideas of Number，2007）等。