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.
Subrecursion : Functions and Hierarchies / H.E. Rose
| Subrecursion : Functions and Hierarchies / H.E. Rose |
| Autore | Rose, H.E. |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1984 |
| Descrizione fisica | xiii, 189 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Oxford Logic Guides |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-19-853189-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001054230403321 |
Rose, H.E.
|
||
| Oxford : Clarendon Press, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Subsystems of Second Order Arithmetic / Stephen G. Simpson
| Subsystems of Second Order Arithmetic / Stephen G. Simpson |
| Autore | Simpson, Stephen George |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, c1999 |
| Descrizione fisica | XIV, 444 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Perspectives in mathematical logic |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-64882-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001443740403321 |
|
Simpson, Stephen George
|
||
| Berlin [etc.] : Springer, c1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sul meccanismo, il chimismo, l'organismo e il conoscere / G. W. F. Hegel ; introduzione, traduzione e commento di Luca Illetterati
| Sul meccanismo, il chimismo, l'organismo e il conoscere / G. W. F. Hegel ; introduzione, traduzione e commento di Luca Illetterati |
| Autore | HEGEL, Georg Wilhelm Friedrich |
| Edizione | [Trento : Verifiche] |
| Descrizione fisica | Trad. parziale da: Wissenschaft der Logik. 2. Band, Die subjektive Logik : (1816). |
| Disciplina | 160 |
| Collana | Quaderni di Verifiche |
| Formato | Grafica  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005687320203316 |
|
HEGEL, Georg Wilhelm Friedrich
|
||
| Grafica | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Sulla costituzione nell'esperienza di alcune logiche del pensiero : in costante riferimento ad esperienza e giudizio di Husserl / Filippo Silvestri
| Sulla costituzione nell'esperienza di alcune logiche del pensiero : in costante riferimento ad esperienza e giudizio di Husserl / Filippo Silvestri |
| Autore | Silvestri, Filippo |
| Pubbl/distr/stampa | Lecce : Pensa multimedia, c2012 |
| Descrizione fisica | 294 p. ; 21 cm |
| Disciplina |
160
193 |
| Collana | Humanities |
| Soggetto (Persona) |
Husserl, Edmund, 1859-1938. Erfahrung und Urteil
Husserl Edmund (filosofo, 1859-1938) Studi |
| Soggetto topico |
Esperienza
Giudizio (Logica) |
| ISBN | 9788867600144 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991002387549707536 |
|
Silvestri, Filippo
|
||
| Lecce : Pensa multimedia, c2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The summa In omni doctrina : (MS. Munich, Bayerische Staatsbibliothek, CLM 14458, fols. 29ra-39rb) : epistemology in semantics : an anonymous early 13. century manual of dialectic / E. P. Bos
| The summa In omni doctrina : (MS. Munich, Bayerische Staatsbibliothek, CLM 14458, fols. 29ra-39rb) : epistemology in semantics : an anonymous early 13. century manual of dialectic / E. P. Bos |
| Autore | Bos, Egbert P. |
| Pubbl/distr/stampa | Louvain-la-Neuve : Éditions de l'Institut Supérieur de Philosohie ; Louvain : Éditions Peeters |
| Descrizione fisica | 173 p. ; 24 cm. |
| Disciplina | 160 |
| Collana | Philosophes médiévaux ; 43. |
| ISBN | 9042910461 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003344969707536 |
|
Bos, Egbert P.
|
||
| Louvain-la-Neuve : Éditions de l'Institut Supérieur de Philosohie ; Louvain : Éditions Peeters | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Summulae de suppositionibus / Johannes Buridanus ; introduction, critical edition and indexes by Ria van der Lecq
| Summulae de suppositionibus / Johannes Buridanus ; introduction, critical edition and indexes by Ria van der Lecq |
| Autore | Buridan, Jean <1328-1358> |
| Pubbl/distr/stampa | Nijmegen [Netherlands] : Ingenium, 1998 |
| Descrizione fisica | XXXVIII, 113 p. ; 24 cm |
| Disciplina | 160 |
| Altri autori (Persone) | Lecq, Ria : van derù |
| Collana | Artistarium ; 10-4 |
| Soggetto topico | Logica |
| ISBN | 9070419408 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
eng
lat |
| Record Nr. | UNISALENTO-991001338219707536 |
|
Buridan, Jean <1328-1358>
|
||
| Nijmegen [Netherlands] : Ingenium, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Sur la logique et la théorie de la science / Jean Cavaillès ; préface par Gaston Bachelard ; postface par Jan Sebestik
| Sur la logique et la théorie de la science / Jean Cavaillès ; préface par Gaston Bachelard ; postface par Jan Sebestik |
| Autore | Cavaillès, Jean |
| Pubbl/distr/stampa | Paris : Librairie philosophique J. Vrin, 1997 |
| Descrizione fisica | 158 p. ; 18 cm. |
| Disciplina |
160
501 |
| Altri autori (Persone) |
Bachelard, Gaston
Sebestik, Jan |
| Collana | Bibliothèque des textes philosophiques |
| Soggetto topico |
Logica
Scienze - Filosofia |
| ISBN | 2711612872 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISALENTO-991000550049707536 |
|
Cavaillès, Jean
|
||
| Paris : Librairie philosophique J. Vrin, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Symbolic Logic ; and, The Game of Logic / by Lewis Carroll
| Symbolic Logic ; and, The Game of Logic / by Lewis Carroll |
| Autore | Carroll, Lewis <1832-1898> |
| Pubbl/distr/stampa | New York : Dover, 1958 |
| Descrizione fisica | 1 v. : ill. ; 20 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 0-486-20492-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000972400403321 |
|
Carroll, Lewis <1832-1898>
|
||
| New York : Dover, 1958 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symbolic Logic / by Clarence Irving Lewis and Cooper Harold Langford
| Symbolic Logic / by Clarence Irving Lewis and Cooper Harold Langford |
| Autore | Lewis, Clarence Irving |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | New York : Dover, 1959, c1932 |
| Descrizione fisica | [5], 518 p. ; 21 cm |
| Disciplina | 160 |
| Collana | Dover books on mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001025560403321 |
|
Lewis, Clarence Irving
|
||
| New York : Dover, 1959, c1932 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Symposium on automatic demonstration : held at Versailles, France, December 1968 / edites by M. Laudet ... [et al.]
| Symposium on automatic demonstration : held at Versailles, France, December 1968 / edites by M. Laudet ... [et al.] |
| Autore | Symposium on automatic demonstration : <1968 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1970 |
| Descrizione fisica | 310 p. ; 25 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-990001021740403321 |
|
Symposium on automatic demonstration : <1968
|
||
| Berlin [etc.] : Springer-Verlag, 1970 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
