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: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1994.
|
| Edition: | Third, Augmented edition. |
| Series: | Universitext,
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
