Logic and Fixed-Domain Reasoning
Volume 2: Solutions to Selected Exercises
The author provides solutions to all the more challenging exercises in Ralph Gregory Taylor, Logic and Fixed-Domain Reasoning, Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory. In addition, second-order logics over fixed domain are fully developed by means of solutions to exercises.
Specificaties
| ISBN/EAN | 9783031981920 |
| Auteur | Ralph Gregory Taylor |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 427 |
| Lengte | |
| Breedte |