はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方

書籍データ

Mathematical logic for beginners

著者名：山田俊行著他の作品を見る

出版社：

発売日：2018.7

vii, 131p 22cm

ISBN：978-4-627-07801-7