登入

Logic, Symbolic and mathematical.

[NT 60487] Overview

作品:	5 作品在 5 项出版品 5 种语言

书目信息

The deductive foundations of computer programming by: (書目-語言資料)

Logical forms : an introduction to philosophical logic by: (書目-語言資料)

Mathematical logic for computer science by: (書目-語言資料)

Logic, sets, and recursion by: (書目-語言資料)

Specifying systems : the TLA+ language and tools for hardware by: (書目-語言資料)

主题

QA9

160

519.7

004.2

511.3