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.
Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
| Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier |
| Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 1995 |
| Descrizione fisica | vi, 389 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Girard, Jean-Yves
Lafont, Yves Regnier, Laurent |
| Altri autori (Convegni) | Linear logic workshop <1993 ; Mathematical Sciences Institute, Cornell University> |
| Collana | London Mathematical Society lecture note series, 0076-0552 ; 222 |
| Soggetto topico | Symbolic and mathematical logic - Congresses |
| ISBN | 0521559618 |
| Classificazione |
AMS 03-06
AMS 68-06 AMS 68N15 QA9.A1L56 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000647729707536 |
| Cambridge ; New York : Cambridge University Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley
| Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J. N. Crossley |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | viii, 307 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Crossley, John N. |
| Altri autori (Enti) | Australian Mathematical Society |
| Collana | Lecture notes in mathematics, 0075-8434 ; 450 |
| Soggetto topico |
Algebra - Congresses
Commutative rings - Congresses Group theory - Congresses Symbolic logic - Congresses |
| ISBN | 3540071520 |
| Classificazione |
AMS 03-06
LC QA3.L28 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | en |
| Record Nr. | UNISALENTO-991000652529707536 |
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa
| Algebra, combinatorics and logic in computer science / edited by J. Demetrovics, G. Katona, A. Salomaa |
| Pubbl/distr/stampa | Amsterdam : North-Holland |
| Descrizione fisica | 2 v. : ill. ; 24 cm. |
| Disciplina | 510 |
| Altri autori (Persone) |
Demetrovics, Janós
Katona, G. Salomaa, Arto |
| Altri autori (Convegni) | Colloquium on algebra, combinatories, and logic in computer Science <1983 ; Györ, Hungary> |
| Collana | Colloquia Mathematica Societatis János Bolyai, 0139-3383 ; 42 |
| Soggetto topico |
Computer arithmetic - Congresses
Algebra - Congresses Symbolic and mathematical logic - Congresses |
| ISBN | 0444878696 (set) |
| Classificazione |
LC QA76.9.C62
AMS 03-06 AMS 05-06 AMS 68-06 AMS 68-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000652819707536 |
| Amsterdam : North-Holland | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Aspects of mathematical logic : III ciclo Varenna, 9-17 Settembre 1968 / coordinatore E. Casari
| Aspects of mathematical logic : III ciclo Varenna, 9-17 Settembre 1968 / coordinatore E. Casari |
| Autore | Casari, Ettore |
| Pubbl/distr/stampa | Roma : Edizioni Cremonese, 1969 |
| Descrizione fisica | 285 p. ; 28 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Symbolic logic - Congresses |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000700239707536 |
Casari, Ettore
|
||
| Roma : Edizioni Cremonese, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Axiomatic set theory : proc. symp. in Pure math. of AMS held at Univ. California, Los Angeles, July 10 - August 5, 1967 / eds. Dana S. Scott, Thomas J. Jech
| Axiomatic set theory : proc. symp. in Pure math. of AMS held at Univ. California, Los Angeles, July 10 - August 5, 1967 / eds. Dana S. Scott, Thomas J. Jech |
| Autore | Jech, Thomas J. |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, 1971-1974 |
| Descrizione fisica | 2 pt. ; 26 cm. |
| Disciplina | 511.322 |
| Altri autori (Persone) | Scott, Dana S. |
| Collana | Proceedings of symposia in pure mathematics, 0082-0717 ; 13, pt. 1-2 |
| Soggetto topico | Axiomatic set theory - Congresses |
| ISBN |
0821802453 (Pt.1)
0821802461 (Pt.2) |
| Classificazione |
AMS 03-06
AMS 04-06 AMS 04-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000710319707536 |
|
Jech, Thomas J.
|
||
| Providence, R. I. : American Mathematical Society, 1971-1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Cambridge Summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
| Cambridge Summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers |
| Autore | Cambridge Summer school in mathematical logic <1971 ; Cambridge> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1973 |
| Descrizione fisica | ix, 660 p. ; 26 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Mathias, A. R. D.
Rogers, Hartley |
| Collana | Lecture notes in mathematics, 0075-8434 ; 337 |
| Soggetto topico | Symbolic logic - Congresses |
| ISBN | 354005569X |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000730789707536 |
|
Cambridge Summer school in mathematical logic <1971 ; Cambridge>
|
||
| Berlin ; New York : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Conference in Mathematical Logic, London '70 / edited by Wilfrid Hodges
| Conference in Mathematical Logic, London '70 / edited by Wilfrid Hodges |
| Autore | Conference in mathematical logic <1970 ; London> |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1972 |
| Descrizione fisica | vi, 351 p. ; 26 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | Hodges, Wilfrid |
| Collana | Lecture notes in mathematics, 0075-8434 ; 255 |
| Soggetto topico | Symbolic logic - Congresses |
| ISBN | 3540057447 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000780339707536 |
|
Conference in mathematical logic <1970 ; London>
|
||
| Berlin ; New York : Springer-Verlag, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
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 | ||
| ||
Developments in nonstandard mathematics / N. J. Cutland ... [et al.] (editors)
| Developments in nonstandard mathematics / N. J. Cutland ... [et al.] (editors) |
| Autore | International colloquium on nonstandard mathematics <1994 ; University of Aveiro> |
| Pubbl/distr/stampa | Harlow : Longman ; New York : John Wiley, 1995 |
| Descrizione fisica | 260 p. : ill. ; 25 cm. |
| Disciplina | 510 |
| Altri autori (Persone) | Cutland, Nigel |
| Collana | Pitman research notes in mathematics series, ISSN 02693674 ; 336 |
| Soggetto topico | Nonstandard mathematical analysis - Congresses |
| ISBN | 0582279704 |
| Classificazione |
AMS 03-06
AMS 03H05 QA299.82.D48 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000812729707536 |
|
International colloquium on nonstandard mathematics <1994 ; University of Aveiro>
|
||
| Harlow : Longman ; New York : John Wiley, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
From Dedekind to Godel : essays on the development of the foundations of mathematics / edited by Jaakko Hintikka
| From Dedekind to Godel : essays on the development of the foundations of mathematics / edited by Jaakko Hintikka |
| Autore | Hintikka, Jaakko |
| Pubbl/distr/stampa | Dordrecht ; Norwell, MA, U.S.A : Kluwer Academic Publishers, c1995 |
| Descrizione fisica | ix, 459 p. ; 23 cm |
| Disciplina | 511 |
| Collana | Synthese library ; 251 |
| Soggetto topico | Mathematics - Foundations |
| ISBN | 0792334841 |
| Classificazione |
AMS 03-06
LC QA8.6.F76 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000913669707536 |
|
Hintikka, Jaakko
|
||
| Dordrecht ; Norwell, MA, U.S.A : Kluwer Academic Publishers, c1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
