Logic, Computers, and Sets
E1045585
Logic, Computers, and Sets is a foundational work by logician Hao Wang that explores the interconnections between mathematical logic, set theory, and the theory of computation.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Logic, Computers, and Sets canonical | 1 |
Statements (35)
| Predicate | Object |
|---|---|
| instanceOf |
book
ⓘ
logic textbook ⓘ logician ⓘ mathematician ⓘ mathematics book ⓘ non-fiction book ⓘ |
| about |
decision problems
ⓘ
effective computability ⓘ formal systems ⓘ foundations of computer science ⓘ philosophical aspects of logic and computation ⓘ proof theory ⓘ |
| author | Hao Wang NERFINISHED ⓘ |
| contributor | Hao Wang NERFINISHED ⓘ |
| field |
computability theory
ⓘ
mathematical logic ⓘ set theory ⓘ theoretical computer science ⓘ |
| genre | academic monograph ⓘ |
| hasPart |
discussion of Turing machines
ⓘ
discussion of axiomatic set theory ⓘ discussion of computability ⓘ discussion of formal logic ⓘ discussion of foundations of mathematics ⓘ discussion of recursive functions ⓘ discussion of set theory ⓘ |
| intendedAudience |
computer scientists
ⓘ
graduate students in logic ⓘ logicians ⓘ mathematicians ⓘ |
| knownFor |
work in mathematical logic
ⓘ
work on foundations of mathematics ⓘ |
| language | English ⓘ |
| mainSubject | interconnections between logic, set theory, and computation ⓘ |
| workOfAuthor | Hao Wang NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.