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.
Temporal Logic / Nicholas Rescher and Alasdair Urquhart
| Temporal Logic / Nicholas Rescher and Alasdair Urquhart |
| Autore | RESCHER, Nicholas |
| Pubbl/distr/stampa | Wien; New York : Springer-Verlag, 1971 |
| Descrizione fisica | XVIII, 273 p. ; 23 cm. |
| Disciplina | 160(Logica) |
| Altri autori (Persone) | URQUHART, Alasdair |
| Soggetto topico | LOGICA |
| ISBN |
03-87809-95-3
32-11-80995-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIOR-UON0232015 |
RESCHER, Nicholas
|
||
| Wien; New York : Springer-Verlag, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. L'Orientale | ||
| ||
Tense Logic / Robert P. McArthur
| Tense Logic / Robert P. McArthur |
| Autore | McArthur, Robert P. <1944- > |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1976 |
| Descrizione fisica | [V], 84 p. ; 23 cm |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 90-277-0697-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001032110403321 |
|
McArthur, Robert P. <1944- >
|
||
| Dordrecht (NL) : Reidel, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teoria assiomatica degli insiemi : insiemi costruibili e modelli booleani / di Lolli Gabriele
| Teoria assiomatica degli insiemi : insiemi costruibili e modelli booleani / di Lolli Gabriele |
| Autore | Lolli, Gabriele |
| Pubbl/distr/stampa | Torino : Boringhieri, 1974 |
| Descrizione fisica | 286 p. ; 21 cm |
| Disciplina |
160
516 |
| Collana | Serie di logica matematica |
| Soggetto non controllato |
Logica matematica
Teoria degli insiemi Insiemi Strutture algebriche |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001193260403321 |
|
Lolli, Gabriele
|
||
| Torino : Boringhieri, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teoria degli insiemi e logica / Abraham A. Fraenkel
| Teoria degli insiemi e logica / Abraham A. Fraenkel |
| Autore | Fraenkel, Abraham Adolf <1891-1965> |
| Pubbl/distr/stampa | Roma : Ubaldini Editore, c1970 |
| Descrizione fisica | 112 p. ; 21 cm |
| Disciplina | 160 |
| Collana | Collana di filosofia e epistemologia |
| Soggetto non controllato | Logica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990004105470403321 |
|
Fraenkel, Abraham Adolf <1891-1965>
|
||
| Roma : Ubaldini Editore, c1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teoria del linguaggio e della mente / Ermanno Bencivenga ; [trad. di Giuseppina Malinverni]
| Teoria del linguaggio e della mente / Ermanno Bencivenga ; [trad. di Giuseppina Malinverni] |
| Autore | BENCIVENGA, Ermanno |
| Pubbl/distr/stampa | Torino : Bollati Boringhieri, copyr. 2001 |
| Descrizione fisica | 154 p. ; 20 cm |
| Disciplina | 160 |
| Collana | Temi |
| Soggetto topico |
Logica -- sec. 20
Linguaggio |
| ISBN | 88-339-1316-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000433500203316 |
|
BENCIVENGA, Ermanno
|
||
| Torino : Bollati Boringhieri, copyr. 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci
| Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci |
| Autore | Cellucci, Carlo <1940- > |
| Pubbl/distr/stampa | Torino : Boringhieri, c1978 |
| Descrizione fisica | 315 p. ; 21 cm |
| Disciplina | 160 |
| Collana | Serie di Logica Matematica |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000973320403321 |
|
Cellucci, Carlo <1940- >
|
||
| Torino : Boringhieri, c1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Teorie formalizzate e logica matematica / Aldo Marruccelli
| Teorie formalizzate e logica matematica / Aldo Marruccelli |
| Autore | Marruccelli, Aldo |
| Pubbl/distr/stampa | Roma : Edizioni Studium, 1975 |
| Descrizione fisica | VII, 174 p. ; 21 cm |
| Disciplina | 160 |
| Collana | La cultura |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001030550403321 |
|
Marruccelli, Aldo
|
||
| Roma : Edizioni Studium, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Term logic with choice operator / Hans Hermes
| Term logic with choice operator / Hans Hermes |
| Autore | Hermes, Hans |
| Edizione | [Rev. and enlarged translation of the 1st German Ed.] |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1970 |
| Descrizione fisica | 55 p. ; 26 cm |
| Disciplina | 160 |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001007410403321 |
|
Hermes, Hans
|
||
| Berlin [etc.] : Springer-Verlag, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Terminologia logica della tarda scolastica / Alfonso Maieru
| Terminologia logica della tarda scolastica / Alfonso Maieru |
| Autore | MAIERÙ, Alfonso |
| Pubbl/distr/stampa | Roma : Edizioni dell'Ateneo, 1972 |
| Descrizione fisica | 687 p. ; 21 cm |
| Disciplina | 160 |
| Collana | Lessico intellettuale europeo |
| Soggetto topico | Logica -- Terminologia -- Sec. 12.-16 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990001761570203316 |
|
MAIERÙ, Alfonso
|
||
| Roma : Edizioni dell'Ateneo, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Terminologia logica della tarda scolastica / Alfonso Maierù
| Terminologia logica della tarda scolastica / Alfonso Maierù |
| Autore | Maierù, Alfonso |
| Pubbl/distr/stampa | Roma : Ed. dell'Ateneo, c1972 |
| Descrizione fisica | 687 p. ; 21 cm |
| Disciplina |
189.4
160 |
| Collana | Lessico intellettuale europeo |
| Soggetto non controllato | Filosofia scolastica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990005060690403321 |
|
Maierù, Alfonso
|
||
| Roma : Ed. dell'Ateneo, c1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
