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.
A concise introduction to mathematical logic / W. Rautenberg
| A concise introduction to mathematical logic / W. Rautenberg |
| Autore | Rautenberg, Wolfgang |
| Edizione | [2nd edit] |
| Pubbl/distr/stampa | New York : Springer, c2006 |
| Descrizione fisica | xvii, 256 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica - Fondamenti
Programmazione logica |
| ISBN | 0-387-30294-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008402310403321 |
Rautenberg, Wolfgang
|
||
| New York : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Entre intuition et analyse : Poincaré et le concept de predicativite / Gerhard Heinzmann
| Entre intuition et analyse : Poincaré et le concept de predicativite / Gerhard Heinzmann |
| Autore | Heinzmann, Gerhard |
| Pubbl/distr/stampa | Paris : Librairie Scientifique et Technique, 1985 |
| Descrizione fisica | 101 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato |
Logica matematica - Fondamenti
Poincar, henri |
| ISBN | 2-85367-004-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001332180403321 |
|
Heinzmann, Gerhard
|
||
| Paris : Librairie Scientifique et Technique, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Figures of thought : Mathematics and Mathematical Texts / David Reed.
| Figures of thought : Mathematics and Mathematical Texts / David Reed. |
| Autore | Reed, David |
| Pubbl/distr/stampa | London : Routledge & Kegan Paul, c1995 |
| Descrizione fisica | xiii, 183 p. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica - Fondamenti |
| ISBN | 0-415-08146-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001334590403321 |
|
Reed, David
|
||
| London : Routledge & Kegan Paul, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Dedekind to Gödel : essays on the development of the foundations of mathematics / edited by Jaakko Hintikka
| From Dedekind to Gödel : essays on the development of the foundations of mathematics / edited by Jaakko Hintikka |
| Pubbl/distr/stampa | Dordrecht (NL) : Kluwer, 1995 |
| Descrizione fisica | ix, 459 p. ; 23 cm |
| Disciplina | 511 |
| Collana | Synthese Library |
| Soggetto non controllato | Logica matematica - Fondamenti |
| ISBN | 0792334841 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001350060403321 |
| Dordrecht (NL) : Kluwer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La logique interne / par Yvon Gauthier
| La logique interne / par Yvon Gauthier |
| Autore | Gauthier, Yvon |
| Pubbl/distr/stampa | Paris : Librairie Philosophique J. Vrin, 1991 |
| Descrizione fisica | 140 p., 22 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica - Fondamenti |
| ISBN | 2-7116-1048-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001317180403321 |
|
Gauthier, Yvon
|
||
| Paris : Librairie Philosophique J. Vrin, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Linear logic in computer science / T. Ehrhard, ... [et al.], editors
| Linear logic in computer science / T. Ehrhard, ... [et al.], editors |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, c2004 |
| Descrizione fisica | x, 381 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | London Mathematical Society lecture note series |
| Soggetto non controllato |
Logica matematica - Fondamenti
Scienza del computer |
| ISBN | 0-521-60857-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008032210403321 |
| Cambridge : Cambridge University Press, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Loeb measures in practive : recent advances / Nigel J. Cutland
| Loeb measures in practive : recent advances / Nigel J. Cutland |
| Pubbl/distr/stampa | Berlin : Springer, c2000 |
| Descrizione fisica | xi, 111 p. ; 24 cm |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato |
Logica matematica - Fondamenti
Analisi stocastica |
| ISBN | 3-540-41384-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001450210403321 |
| Berlin : Springer, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic : Second edition / H. -D. Ebbinghaus, J. Flum, W. Thomas.
| Mathematical Logic : Second edition / H. -D. Ebbinghaus, J. Flum, W. Thomas. |
| Autore | Ebbinghaus, Heinz-Dieter |
| Edizione | [2nd ed. -] |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1994 |
| Descrizione fisica | x, 289 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica - Fondamenti |
| ISBN | 0-387-94258-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001330380403321 |
|
Ebbinghaus, Heinz-Dieter
|
||
| New York : Springer-Verlag, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||