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.
Una logica dei termini singolari / Ermanno Bencivenga
| Una logica dei termini singolari / Ermanno Bencivenga |
| Autore | BENCIVENGA, Ermanno |
| Pubbl/distr/stampa | Torino : Boringhieri, copyr. 1980 |
| Descrizione fisica | 162 p. : ill. ; 20 cm |
| Disciplina | 511.3 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990003231010203316 |
BENCIVENGA, Ermanno
|
||
| Torino : Boringhieri, copyr. 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Understanding arguments : an introduction to informal informal logic / Robert J. Fogelin, Walter Sinnott-Armstrong
| Understanding arguments : an introduction to informal informal logic / Robert J. Fogelin, Walter Sinnott-Armstrong |
| Autore | FOGELIN, Robert J. |
| Edizione | [4 ed.] |
| Pubbl/distr/stampa | San Diego : HBJ, c1991 |
| Descrizione fisica | XV, 432 p. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | SINNOTT-ARMSTRONG, Walter |
| Soggetto topico | Logica matematica |
| ISBN | 0-15-592672-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990000591330203316 |
|
FOGELIN, Robert J.
|
||
| San Diego : HBJ, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Varieties of constructive mathematics / Douglas Bridges, Fred Richman
| Varieties of constructive mathematics / Douglas Bridges, Fred Richman |
| Autore | Bridges, Douglas |
| Pubbl/distr/stampa | Cambridge [etc.] : Cambridge University Press, 1988 |
| Descrizione fisica | X, 149 p. : ill. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Richman, Fred |
| Collana | London Mathematical Society Lecture Note Series |
| Soggetto topico | Logica matematica |
| ISBN | 0-521-31802-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000015707 |
|
Bridges, Douglas
|
||
| Cambridge [etc.] : Cambridge University Press, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Vivid logic : Knowledge-based reasoning with two kinds of negation / Gerd Wagner
| Vivid logic : Knowledge-based reasoning with two kinds of negation / Gerd Wagner |
| Autore | Wagner, Gerd <1957- > |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | XII, 148 p. ; 24 cm |
| Disciplina |
006.3
006.33 |
| Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
| Soggetto topico |
Sistema esperto
Logica simbolica Logica matematica |
| ISBN |
0387576045
3540576045 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10005707 |
|
Wagner, Gerd <1957- >
|
||
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Vol. 14: Introduction to mathematical logic : set theory computable functions model theory / Jerome Malitz
| Vol. 14: Introduction to mathematical logic : set theory computable functions model theory / Jerome Malitz |
| Autore | MALITZ, Jerome |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1979 |
| Descrizione fisica | X, 198 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| ISBN | 0-387-90346-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003233260203316 |
|
MALITZ, Jerome
|
||
| New York [etc.] : Springer-Verlag, copyr. 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Vol. 1: Philosophy of language = =Philosophie du langage. = =Logique philosophique. / editor G. Floistad = Philosophie du langage / éditeur G. Floistad. Philosophical logic / co-editor G. H. von Wright = Logique philosophique / co-éditeur G. H. von Wright
| Vol. 1: Philosophy of language = =Philosophie du langage. = =Logique philosophique. / editor G. Floistad = Philosophie du langage / éditeur G. Floistad. Philosophical logic / co-editor G. H. von Wright = Logique philosophique / co-éditeur G. H. von Wright |
| Descrizione fisica | X, 404 p. ; 17 cm.- Contiene : Bibliografie. |
| Disciplina | 190.904 |
| Soggetto topico |
Filosofia del linguaggio
Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Philosophical logic |
| Record Nr. | UNISA-990005603830203316 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
|
Vol. 1: Aussagenkalkül / Asser G.
| Vol. 1: Aussagenkalkül / Asser G. |
| Autore | ASSER, G. |
| Edizione | [1972] |
| Pubbl/distr/stampa | Leipzig : Teubner, 1965 |
| Descrizione fisica | IV, 184 p. : 7 abbildungen ; 20 cm |
| Disciplina | 511.3 |
| Collana | Mathematisch naturwissenschaftliche bibliothek |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990003220180203316 |
|
ASSER, G.
|
||
| Leipzig : Teubner, 1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Vol. 1: Background : mathematical structures / volume co-ordinator Dov M. Gabbay
| Vol. 1: Background : mathematical structures / volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon press, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm. |
| Disciplina | 004 |
| Soggetto topico |
Logica matematica
Informatica Logica simbolica |
| ISBN | 0198537352 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0138957 |
| Oxford, : Clarendon press, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Vol. 2: Background : computational structures / volume co-ordinator Dov M. Gabbay
| Vol. 2: Background : computational structures / volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon press, 1992 |
| Descrizione fisica | X, 571 p. ; 24 cm. |
| Disciplina | 004 |
| Soggetto topico |
Informatica
Logica simbolica Logica matematica |
| ISBN | 0198537611 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-MIL0138960 |
| Oxford, : Clarendon press, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Vol. 2: Prädikatenkalkül der ersten stufe / Asser G.
| Vol. 2: Prädikatenkalkül der ersten stufe / Asser G. |
| Autore | ASSER, G. |
| Edizione | [1972] |
| Pubbl/distr/stampa | Leipzig : Teubner, 1972 |
| Descrizione fisica | IV, 190 p. ; 20 cm |
| Disciplina | 511.3 |
| Collana | Mathematisch naturwissenschaftliche bibliothek |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISA-990003220250203316 |
|
ASSER, G.
|
||
| Leipzig : Teubner, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Logica matematica
(551)
- Logica simbolica (32)
- Matematica - Teorie (10)
- Logica (8)
- Informatica (7)