|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910450405303321 |
|
|
Autore |
Howson Colin |
|
|
Titolo |
Logic with trees : an introduction to symbolic logic / / olin Howson |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York : , : Routledge, , 1997 |
|
|
|
|
|
|
|
ISBN |
|
1-134-78550-X |
9786610226504 |
1-134-78551-8 |
1-280-22650-1 |
0-203-97673-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (210 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
|
|