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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
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 |
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|