在該領域這些波蘭邏輯學者所做的工作中是為眾人所知的。他在30年代初期，發表了其一形式係統內真理性概念的不可定義性的著名結果。眾所周知，形式係統的解釋的理論的奠基人之一。實際上是1950年前建立的邏輯語言學的結果。
由於形式語言學形成了計算機科學的一個重要分支，邏輯語言學與計算機科學的關聯應是很清楚的。
計算機理論
如上所述，作為數理邏輯的一個分支，是在30年代初以函數論的形式發展起來的。特別地，它是以提出的原始出現的，不完備件定理的證明中用作函數出現在50年代中期，同一時期，的關係最為密切，因為它是計算機器的第數學觀論。
已經證明，所有這些理論都足等價的。提出了下列被命名為“基礎論題”的論題，論題：一個函數能行計算它。既是語法的又是語原稿為電。這表明如果我們研究事物的語法和語言之間的關係，則可能會在程序設計語言中獲得令人感興趣的結果。
通過變換，可以由需求的形式說明到可執行程序正確而有效地開發計算機軟件，當前水平的軟件技術正基於這種思想。因而形式說明和變換就提到了議事日程。過去--百年間邏輯學家們的經曆給這些課題以許多啟示。下麵，我們主要討論變換。
變換規則（特別是證明規則）一直為邏輯學家們所廣泛研究，由於工作開創，始於本世紀20年代的組合係統和同一時代創立的自然推理方法是兩個可提供許多有用技術的重要領域。
短句結構語法以及廣為使用的符號係統都直接受到了思想的啟發私人信件中提到他們所受到的思想的影響。
組合邏輯與演算都受到開創性的工作的啟發，也被證明在計算機科學中是有用的。根據數理邏輯的創始人的說法，表達式有兩種含義。
數理邏輯與計算機軟件
數理羅輯側重研究數理基礎的邏輯問題的。這種邏輯問題有兩類，即關於證明的問題和關於計算的問題.長期以來，數理邏輯是以有關證明的叫題為其主要研究對象的；20世紀30年代才開始了關於計算機研究，也就是邏輯理論研究。30年代中期產生抽象計算機的理論即機器理論。當時這種研究的目的研究提供理論隻是在計算機產生以後，特別是50年代中期以來，數理邏輯中才發展出來了麵向機器的坪論。例如推的丁“嘩機器理論和最近幾年發展起來的機器計算機性能理論，這些就是數理邏輯與其他數學分支結合機械的理論。
數理邏輯在計算機線路設計方麵的應用已有近四十年的曆史，這是在電子計算機產生以前已經開始的。數理邏輯在計算機的總體設計和程序設方麵也都可以有應用，特別是在程序設計方麵的用比較明。
數理邏輯和計算機技術本質的聯係，但由於在電子計算機產生之前,數理邏輯的問題，特別是關於公理係統的性質問題為其研究的對象，它的許多成果不能不改變而直接用來解決計算機設計提出的邏輯問題。對下這一類問題有需要發展新的邏輯理論的計算機在機器的程序的邏輯結構方麵還不太複雜，機器設計和程序設計對理論工具的需要還不是十分迫切。但第三代計算機產生以來，機器結構，特別是大程序的結構變得越來越複雜，這就使得為設計工作提供工具成為一項重要課題。還有，在由人進行設計時，和利用機器進行時，情況不同，在後一情形中，更需要邏輯作為工具。