Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic with trees : an introduction to symbolic logic / / olin Howson
| Logic with trees : an introduction to symbolic logic / / olin Howson |
| Autore | Howson Colin |
| Pubbl/distr/stampa | 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. |
| 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 | eng |
| 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 |
| Record Nr. | UNINA-9910450405303321 |
Howson Colin
|
||
| London ; ; New York : , : Routledge, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic with trees : an introduction to symbolic logic / / Colin Howson
| Logic with trees : an introduction to symbolic logic / / Colin Howson |
| Autore | Howson Colin |
| Pubbl/distr/stampa | London ; ; New York : , : Routledge, , 1997 |
| Descrizione fisica | 1 online resource (210 p.) |
| Disciplina | 160 |
| Soggetto topico | Logic, Symbolic and mathematical |
| 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 | eng |
| 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 |
| Record Nr. | UNINA-9910783052203321 |
|
Howson Colin
|
||
| London ; ; New York : , : Routledge, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic with trees : an introduction to symbolic logic / / Colin Howson
| Logic with trees : an introduction to symbolic logic / / Colin Howson |
| Autore | Howson Colin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | London ; ; New York, : Routledge, 1997 |
| Descrizione fisica | 1 online resource (210 p.) |
| Disciplina | 160 |
| Soggetto topico | Logic, Symbolic and mathematical |
| 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 | eng |
| 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 |
| Record Nr. | UNINA-9910816070303321 |
|
Howson Colin
|
||
| London ; ; New York, : Routledge, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Objecting to God / / Colin Howson [[electronic resource]]
| Objecting to God / / Colin Howson [[electronic resource]] |
| Autore | Howson Colin |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xi, 220 pages) : digital, PDF file(s) |
| Disciplina | 211/.7 |
| Soggetto topico |
God - Proof
Religion Religion and science |
| ISBN |
1-107-21780-6
1-139-12452-8 1-283-29844-9 9786613298447 1-139-12287-8 0-511-81247-7 1-139-11713-0 1-139-12779-9 1-139-11277-5 1-139-11496-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Of human bondage -- 2. God unlimited -- 3. How to reason if you must -- 4. The well-tempered universe -- 5. What does it all mean? -- 6. Moral equilibrium -- 7. What is life without thee? -- 8. It necessarily ain't so. |
| Record Nr. | UNINA-9910458055803321 |
|
Howson Colin
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Objecting to God / / Colin Howson [[electronic resource]]
| Objecting to God / / Colin Howson [[electronic resource]] |
| Autore | Howson Colin |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xi, 220 pages) : digital, PDF file(s) |
| Disciplina | 211/.7 |
| Soggetto topico |
God - Proof
Religion Religion and science |
| ISBN |
1-107-21780-6
1-139-12452-8 1-283-29844-9 9786613298447 1-139-12287-8 0-511-81247-7 1-139-11713-0 1-139-12779-9 1-139-11277-5 1-139-11496-4 |
| Classificazione | REL051000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Of human bondage -- 2. God unlimited -- 3. How to reason if you must -- 4. The well-tempered universe -- 5. What does it all mean? -- 6. Moral equilibrium -- 7. What is life without thee? -- 8. It necessarily ain't so. |
| Record Nr. | UNINA-9910781985903321 |
|
Howson Colin
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Objecting to God / / Colin Howson
| Objecting to God / / Colin Howson |
| Autore | Howson Colin |
| Pubbl/distr/stampa | Cambridge, UK ; ; New York, : Cambridge University Press, 2011 |
| Descrizione fisica | 1 online resource (xi, 220 pages) : digital, PDF file(s) |
| Disciplina | 211/.7 |
| Soggetto topico |
God - Proof
Religion Religion and science |
| ISBN |
1-107-21780-6
1-139-12452-8 1-283-29844-9 9786613298447 1-139-12287-8 0-511-81247-7 1-139-11713-0 1-139-12779-9 1-139-11277-5 1-139-11496-4 |
| Classificazione | REL051000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Of human bondage -- 2. God unlimited -- 3. How to reason if you must -- 4. The well-tempered universe -- 5. What does it all mean? -- 6. Moral equilibrium -- 7. What is life without thee? -- 8. It necessarily ain't so. |
| Record Nr. | UNINA-9910829074903321 |
|
Howson Colin
|
||
| Cambridge, UK ; ; New York, : Cambridge University Press, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||