邏輯與演繹科學(xué)方法論導(dǎo)論（120年珍藏本）

　　本書是波蘭著名哲學(xué)家、邏輯學(xué)家塔爾斯基（1902—1983）的一部數(shù)理邏輯入門著作。全書分為兩部分。第一部分用非嚴(yán)格的形式化方法論述了語句演算、類和關(guān)系及演繹方法的基本理論。第二部分論述了邏輯和方法論在構(gòu)造教學(xué)理論中的應(yīng)用，構(gòu)造了一個以邏輯為基礎(chǔ)的實算術(shù)公理系統(tǒng)。本書通過介紹數(shù)理邏輯的一些最重要的概念，討論了數(shù)理邏輯的進展和意義，試圖在兼顧嚴(yán)格性的同時，為普通讀者提供了一個清晰的可理解的現(xiàn)代邏輯思潮觀念。

暫缺《邏輯與演繹科學(xué)方法論導(dǎo)論（120年珍藏本）》作者簡介