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 as a tool : a guide to formal logical reasoning / / Valentin Goranko
| Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko |
| Autore | Goranko Valentin |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Chichester, West Sussex, England : , : Wiley, , 2016 |
| Descrizione fisica | 1 online resource (383 pages) : illustrations, tables |
| Disciplina | 511.3 |
| Collana | New York Academy of Sciences |
| Soggetto topico | Logic |
| ISBN |
1-118-88004-8
1-118-88005-6 |
| Classificazione |
116
410.96 511.3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises. |
| Record Nr. | UNINA-9910798779003321 |
Goranko Valentin
|
||
| Chichester, West Sussex, England : , : Wiley, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko
| Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko |
| Autore | Goranko Valentin |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Chichester, West Sussex, England : , : Wiley, , 2016 |
| Descrizione fisica | 1 online resource (383 pages) : illustrations, tables |
| Disciplina | 511.3 |
| Collana | New York Academy of Sciences |
| Soggetto topico | Logic |
| ISBN |
1-118-88004-8
1-118-88005-6 |
| Classificazione |
116
410.96 511.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises. |
| Record Nr. | UNINA-9910822988603321 |
|
Goranko Valentin
|
||
| Chichester, West Sussex, England : , : Wiley, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
論理学研究 . 4 / / E. フッサール [著] ; 立松弘孝訳
| 論理学研究 . 4 / / E. フッサール [著] ; 立松弘孝訳 |
| Pubbl/distr/stampa | 東京 : , : みすず書房, , 1976 |
| Descrizione fisica | 1オンラインリソース |
| Altri autori (Persone) |
HusserlEdmund
立松弘孝 |
| ISBN |
9784622092513
4622092514 |
| Classificazione | 116 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | jpn |
| Altri titoli varianti | Logische Untersuchungen |
| Record Nr. | UNINA-9910149244003321 |
| 東京 : , : みすず書房, , 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
論理学研究 . 3 / / E. フッサール [著] ; 立松弘孝, 松井良和訳
| 論理学研究 . 3 / / E. フッサール [著] ; 立松弘孝, 松井良和訳 |
| Pubbl/distr/stampa | 東京 : , : みすず書房, , 1974 |
| Descrizione fisica | 1オンラインリソース |
| Altri autori (Persone) |
HusserlEdmund
立松弘孝 松井良和 |
| ISBN |
9784622092506
4622092506 |
| Classificazione | 116 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | jpn |
| Altri titoli varianti | Logische Untersuchungen |
| Record Nr. | UNINA-9910149244103321 |
| 東京 : , : みすず書房, , 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
論理学研究 . 2 / / E. フッサール [著] ; 立松弘孝, 松井良和, 赤松宏訳
| 論理学研究 . 2 / / E. フッサール [著] ; 立松弘孝, 松井良和, 赤松宏訳 |
| Pubbl/distr/stampa | 東京 : , : みすず書房, , 1970 |
| Descrizione fisica | 1オンラインリソース |
| Altri autori (Persone) |
HusserlEdmund
立松弘孝 松井良和 赤松宏 |
| ISBN |
9784622092490
4622092492 |
| Classificazione | 116 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | jpn |
| Altri titoli varianti | Logische Untersuchungen |
| Record Nr. | UNINA-9910149244203321 |
| 東京 : , : みすず書房, , 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
論理学研究 . 1 / / E. フッサール [著] ; 立松弘孝訳
| 論理学研究 . 1 / / E. フッサール [著] ; 立松弘孝訳 |
| Pubbl/distr/stampa | 東京 : , : みすず書房, , 1968 |
| Descrizione fisica | 1オンラインリソース |
| Altri autori (Persone) |
HusserlEdmund
立松弘孝 |
| ISBN |
9784622092483
4622092484 |
| Classificazione | 116 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | jpn |
| Altri titoli varianti | Logische Untersuchungen |
| Record Nr. | UNINA-9910149244303321 |
| 東京 : , : みすず書房, , 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||