Craig, William, 1918-
Craig, William, 1918-2016
Craig, William 19..-.... mathématicien
William Craig American logician
VIAF ID: 139086 ( Personal )
Permalink: http://viaf.org/viaf/139086
Preferred Forms
- 200 _ | ‡a Craig ‡b William ‡f 19..-.... ‡c mathématicien
-
-
- 100 1 _ ‡a Craig, William ‡d 1918-2016
- 100 1 _ ‡a Craig, William ‡d 1918-2016
-
-
-
-
- 100 1 _ ‡a Craig, William, ‡d 1918-
-
- 100 1 _ ‡a Craig, William, ‡d 1918-2016
- 100 0 _ ‡a William Craig ‡c American logician
4xx's: Alternate Name Forms (7)
Works
Title | Sources |
---|---|
Combinatory logic | |
Enemy at the gates : The battle for Stalingrad. | |
Linear reasoning : a new form of the Herbrand-Gentzen Theorem | |
Logic in algebraic form. Three languages and theories. | |
Semigroups underlying first-order logic, 2006: |