Original language | English |
---|---|
Title of host publication | Oxford handbook for the philosophy of mathematics and logic |
Editors | Stewart Shapiro |
Publisher | Oxford University Press |
Pages | 651-670 |
ISBN (Print) | 0-19-514877-0 |
Publication status | Published - 2005 |
Logical consequence, proof theory, and model theory
Stewart Shapiro
Research output: Chapter in Book/Report/Conference proceeding › Chapter
31
Citations
(Scopus)