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.
Un'analisi critica delle logiche quantistiche dal 1930 ai nostri giorni. Tesi di laurea / laureando Anna Barnaba ; relat. C. Garola
| Un'analisi critica delle logiche quantistiche dal 1930 ai nostri giorni. Tesi di laurea / laureando Anna Barnaba ; relat. C. Garola |
| Autore | Barnaba, Anna |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1985-86 |
| Altri autori (Persone) | Garola, Claudio |
| Soggetto topico |
Mathematical logic-history
Nonstandard models |
| Classificazione |
AMS 03-03
AMS 03H |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000672169707536 |
Barnaba, Anna
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1985-86 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Analisi non-standard e misura di Loeb. Tesi di laurea / laureanda Nadia Provenzano ; relat. Ruggero Ferro
| Analisi non-standard e misura di Loeb. Tesi di laurea / laureanda Nadia Provenzano ; relat. Ruggero Ferro |
| Autore | Provenzano, Nadia |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1994-95 |
| Disciplina | 511.3 |
| Altri autori (Persone) | Ferro, Ruggero |
| Soggetto topico | Nonstandard models |
| Classificazione | AMS 03H |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000675439707536 |
|
Provenzano, Nadia
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1994-95 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Implicazioni didattiche dell'analisi non standard. Tesi di laurea / laureando Francesco Bolognini ; relat. R. Ferro
| Implicazioni didattiche dell'analisi non standard. Tesi di laurea / laureando Francesco Bolognini ; relat. R. Ferro |
| Autore | Bolognini, Francesco |
| Pubbl/distr/stampa | Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1992-93 |
| Disciplina | 511.3 |
| Altri autori (Persone) | Ferro, Ruggero |
| Soggetto topico | Nonstandard models |
| Classificazione | AMS 03H |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000991279707536 |
|
Bolognini, Francesco
|
||
| Lecce : Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica, a.a. 1992-93 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical logic and applications : proc. of the logic meet. held in Kyoto, 1987 / eds. J. Shinoda, T. A. Slaman, T. Tugue
| Mathematical logic and applications : proc. of the logic meet. held in Kyoto, 1987 / eds. J. Shinoda, T. A. Slaman, T. Tugue |
| Autore | Shinoda, J. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1989 |
| Descrizione fisica | 222 p. ; 24 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Slaman, T. A.
Tugué, Tosiyuki |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1388 |
| Soggetto topico |
Constructive mathematics
General logic - Congresses Nonstandard models Proof theory Recursion theory Set theory |
| ISBN | 3540515275 |
| Classificazione |
AMS 03-06
AMS 03-XX AMS 03B AMS 03D AMS 03E AMS 03F AMS 03H |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001112479707536 |
|
Shinoda, J.
|
||
| Berlin : Springer-Verlag, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Models and sets [e-book] : proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part I / edited by Gert H. Müller, Michael M. Richter
| Models and sets [e-book] : proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part I / edited by Gert H. Müller, Michael M. Richter |
| Pubbl/distr/stampa | Berlin : Springer, 1984 |
| Descrizione fisica | 1 online resource (484 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Müller, Gert H.
Richter, Michael M. |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 1103 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540391159 |
| Classificazione |
AMS 03C
AMS 03E AMS 03G AMS 03H |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002203069707536 |
| Berlin : Springer, 1984 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Nonstandard analysis for the working mathematician / edited by Peter A. Loeb and Manfred Wolff
| Nonstandard analysis for the working mathematician / edited by Peter A. Loeb and Manfred Wolff |
| Autore | Loeb, Peter A. |
| Pubbl/distr/stampa | Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2000 |
| Descrizione fisica | xiv, 311 p. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Wolff, Manfred P. H. |
| Collana | Mathematics and its applications ; 510 |
| Soggetto topico | Nonstandard mathematical analysis |
| ISBN | 079236340X |
| Classificazione |
AMS 03H
AMS 26E35 AMS 28E05 AMS 46S20 AMS 47S20 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001180729707536 |
|
Loeb, Peter A.
|
||
| Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Nonstandard asymptotic analysis / Imme van der Berg
| Nonstandard asymptotic analysis / Imme van der Berg |
| Autore | Berg, Imme : van den |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1987 |
| Descrizione fisica | ix, 187 p. ; 24 cm. |
| Disciplina | 511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 1249 |
| Soggetto topico |
Nonstandard models
Ordered groups Set theory |
| ISBN | 3540167671 |
| Classificazione |
AMS 03E10
AMS 03E15 AMS 03H AMS 06F15 AMS 40A25 AMS 41A60 AMS 65B10 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001181119707536 |
|
Berg, Imme : van den
|
||
| Berlin : Springer-Verlag, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||