符号逻辑讲义

Name: 符号逻辑讲义
ISBN: 9787307065536

徐明

5.0 / 5.0

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

本书共分四编：命题逻辑、命题演算、谓词逻辑和谓词演算。每一编都从简单的问题和不太严格的讨论开始，逐渐过渡到较复杂的问题和较严格的讨论。全书内容涉及符号化、语义学、费奇式推演、弗雷格-希尔伯特式系统和简单的元定理及其证明。

카테고리:

년:

2008

출판사:

武汉大学出版社

언어:

chinese

페이지:

599

ISBN 10:

7307065533

ISBN 13:

9787307065536

시리즈:

高等学校哲学专业核心课教材

파일:

PDF, 14.78 MB

IPFS:

chinese, 2008

온라인으로 읽기

로의 변환이 실행 중입니다

로의 변환이 실패되었습니다

귀하의 관심을 살 수 있습니다