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.
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
| Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman |
| Autore | Richman, Fred |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | vi, 347 p. ; 25 cm. |
| Disciplina |
510
511.3 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 873 |
| Soggetto topico |
Constructive mathematics - Congresses
Intuitionistic mathematics - Congresses Mathematical logic and foundations - Congresses Proof theory - Congresses |
| ISBN | 3540108505 |
| Classificazione |
AMS 03-06
AMS 03-XX AMS 03F |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000784719707536 |
Richman, Fred
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Logic colloquium, '72 : symposium on Logic held at Boston, 1972-1973 / edited by R. Parikh
| Logic colloquium, '72 : symposium on Logic held at Boston, 1972-1973 / edited by R. Parikh |
| Autore | Symposium on Logic <1972 ; Boston> |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1975 |
| Descrizione fisica | 251 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Parikh, Rohit |
| Collana | Lecture notes in mathematics, 0075-8434 ; 453 |
| Soggetto topico | Mathematical logic and foundations - Congresses |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001094489707536 |
|
Symposium on Logic <1972 ; Boston>
|
||
| Berlin : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory and algebra : a memorial tribute to Abraham Robinson / edited by D. H. Saracino and V. B. Weispfenning
| Model theory and algebra : a memorial tribute to Abraham Robinson / edited by D. H. Saracino and V. B. Weispfenning |
| Autore | Robinson, Abraham |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1975 |
| Descrizione fisica | x, 463 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Saracino, Daniel H.
Weispfenning, Volker |
| Collana | Lecture notes in mathematics, 0075-8434 ; 498 |
| Soggetto topico |
Algebra-addresses, essays, lectures
Mathematical logic and foundations - Congresses Model theory-addresses, essays, lectures Robinson, Abraham |
| ISBN | 3540075380 |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149109707536 |
|
Robinson, Abraham
|
||
| Berlin : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre
| Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre |
| Autore | Berline, Chantal |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | vi, 306 p. ; 25 cm. |
| Disciplina | 511.8 |
| Altri autori (Persone) |
McAloon, Kenneth
Ressayre, Jean-Pierre |
| Collana | Lecture notes in mathematics, 0075-8434 ; 890 |
| Soggetto topico |
Mathematical logic and foundations - Congresses
Model theory |
| ISBN | 354011159X |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149179707536 |
|
Berline, Chantal
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Problems in the philosophy of mathematics / edited by Imre Lakatos
| Problems in the philosophy of mathematics / edited by Imre Lakatos |
| Autore | International colloquium in the philosophy of science <1965 ; Bedford College> |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1972 |
| Descrizione fisica | xv, 241 p. ; 23 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Lakatos, Imre |
| Collana | Studies in logic and the foundations of mathematics, ISSN 0049237X |
| Soggetto topico |
Mathematical logic and foundations - Congresses
Mathematics-philosophy - Congresses |
| Classificazione |
AMS 03-06
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001259599707536 |
|
International colloquium in the philosophy of science <1965 ; Bedford College>
|
||
| Amsterdam : North-Holland, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Proceedings of AGOP 2005 : international summer school on aggregation operators and their applications / Università della Svizzera Italiana (USI) ... [et al.]
| Proceedings of AGOP 2005 : international summer school on aggregation operators and their applications / Università della Svizzera Italiana (USI) ... [et al.] |
| Pubbl/distr/stampa | Lugano : Università della Svizzera italiana, Facoltà di Scienze della comunicazione, 2005 |
| Descrizione fisica | 158 p. ; 30 cm |
| Disciplina | 004.0151 |
| Altri autori (Enti) |
Università della Svizzera italiana |
| Soggetto topico |
Mathematical logic and foundations - Congresses
Representations of groups - Congresses Information systems - Congresses |
| ISBN | 802272260X |
| Classificazione |
AMS 00B25
AMS 03-06 AMS 20M30 AMS 68U35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001878159707536 |
| Lugano : Università della Svizzera italiana, Facoltà di Scienze della comunicazione, 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake, S. S. Wainer
| Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake, S. S. Wainer |
| Autore | Drake, F. R. |
| Pubbl/distr/stampa | Cambridge : Cambridge University Press, 1980 |
| Descrizione fisica | 319 p. ; 23 cm |
| Disciplina | 511.30 |
| Altri autori (Persone) | Wainer, S. S. |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 45 |
| Soggetto topico |
Mathematical logic and foundations - Congresses
Recursion theory - Congresses |
| ISBN | 052123543X |
| Classificazione |
AMS 03-06
AMS 03-XX AMS 03D QA9.615 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001291209707536 |
|
Drake, F. R.
|
||
| Cambridge : Cambridge University Press, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
