Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Farmer, William M.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Simple type theory = a practical logic for expressing and reasoning about mathematical ideas / by: Farmer, William M.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Foundations. Computer Science Logic and Foundations of Programming. Set Theory. Computational Complexity. Formal Reasoning. Computer science- Mathematics.

Change password

Login