Cargando…
Logic and proof techniques
The text contains an introduction to the deductive apparatus of logic without requiring any background in logic, philosophy, or mathematics. The author has placed emphasis on proof techniques which remain usable not only in the fragment of logic in which they can first be introduced, but throughout...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
New Central Book Agency
2020
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2762764 |