Logic and structure /
A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment of elementary classical logic, using Gentzen's Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured b...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1980
Berlin ; New York : 1980 Berlin ; New York : c1980 Berlin ; New York : 1980 |
| Series: | Universitext
Universitext |
| Subjects: |
Internet
Stanford University
| Call Number: |
QA9 .D14 1980 |
|---|
Yale University
| Call Number: |
L D56l |
|---|
University of Chicago
| Call Number: |
QA9.D140 1980 |
|---|
Massachusetts Institute of Technology
| Call Number: |
QA9.D14 1980 |
|---|
Harvard University
| Call Number: |
QA9 .D16 1980 |
|---|
Duke University
| Call Number: |
511 D123, L832, 1980 QA9 .D16 1980 |
|---|
Cornell University
| Call Number: |
QA9 .D13 |
|---|
University of Pennsylvania
| Call Number: |
QA9 .D14 1980 |
|---|
Brown University
| Call Number: |
QA9 .D14 1980 |
|---|