Logic with trees : an introduction to symbolic logic / / olin Howson
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Howson Colin
|
| Titolo: |
Logic with trees : an introduction to symbolic logic / / olin Howson
|
| Pubblicazione: | London ; ; New York : , : Routledge, , 1997 |
| Descrizione fisica: | 1 online resource (210 p.) |
| Disciplina: | 160 |
| Soggetto topico: | Logic, Symbolic and mathematical |
| Soggetto genere / forma: | Electronic books. |
| Note generali: | Description based upon print version of record. |
| Nota di bibliografia: | Includes bibliographical references (p. [189]-190) and indexes. |
| Nota di contenuto: | Book Cover; Half-Title; Title; Copyright; Dedication; Contents; Acknowledgments; Introduction; 1 The basics; 2 Truth trees; 3 Propositional languages; 4 Soundness and completeness; 5 Introduction; 6 First-order languages: syntax and two more tree rules; 7 First-order languages: semantics; 8 Soundness and completeness; 9 Identity; 10 Alternative deductive systems for first-order logic; 11 First-order theories; 12 Beyond the fringe; Notation; Answers to selected exercises; References; Name index; Subject index |
| Sommario/riassunto: | First Published in 1997. Routledge is an imprint of Taylor & Francis, an informa company. |
| Titolo autorizzato: | Logic with trees |
| ISBN: | 1-134-78550-X |
| 9786610226504 | |
| 1-134-78551-8 | |
| 1-280-22650-1 | |
| 0-203-97673-8 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910450405303321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |