The Semantic Basis.- Hilbert Systems.- Gentzen Systems.- Syntactic Eliminations.- Fundamental Logics.- Uniformity and Efficiency.- First-Order Logics.- Further Topics.
| Author: George Metcalfe |
| Publisher: Springer |
| Publication Date: 40473 |
| Number of Pages: 276 pages |
| Binding: Mathematics |
| ISBN-10: 9048181216 |
| ISBN-13: 9789048181216 |
Related Products
