A Mathematical Logic (with Hao Wang)
E1600708
UNEXPLORED
A Mathematical Logic (with Hao Wang) is a foundational textbook in mathematical logic co-authored by J. Barkley Rosser and Hao Wang, covering formal systems, proof theory, and related logical foundations of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| A Mathematical Logic (with Hao Wang) canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.