top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Atti e lezioni del ciclo seminariale #AltraMatematica / a cura di Pierandrea Vergallo ; con la collaborazione di Stefano Pascali, Raffaele Grande
Atti e lezioni del ciclo seminariale #AltraMatematica / a cura di Pierandrea Vergallo ; con la collaborazione di Stefano Pascali, Raffaele Grande
Pubbl/distr/stampa [S.l. : s.n., s.d.] (Lecce : Cartogr. Rosato, 2015)
Descrizione fisica 136 p. : ill. ; 21 cm
Disciplina 510
Altri autori (Persone) Vergallo, Pierandrea
Pascali, Stefano
Grande, Raffaele
Soggetto topico Fuzzy sets - Congresses
Logic - Congresses
Real numbers - Congresses
Geometry - Congresses
Classificazione AMS 00A99
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002925209707536
[S.l. : s.n., s.d.] (Lecce : Cartogr. Rosato, 2015)
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N. Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley
Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N. Y., 1968 / edited by A. Kino, J. Myhill and R. E. Vesley
Autore Conference on intuitionism and proof theory <1968 ; Buffalo>
Pubbl/distr/stampa Amsterdam : North-Holland, 1970
Descrizione fisica viii, 516 p. ; 23 cm.
Disciplina 511.3
Altri autori (Persone) Kino, Akiko
Myhill, John
Vesley, Richard Eugene
Altri autori (Enti) State University of New York
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 90
Soggetto topico Intuitionistic mathematics - Congresses
Logic - Congresses
Proof theory - Congresses
Classificazione AMS 03-06
AMS 03F03
AMS 03F55
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001041079707536
Conference on intuitionism and proof theory <1968 ; Buffalo>  
Amsterdam : North-Holland, 1970
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi
Autore Homer, Steven
Pubbl/distr/stampa Berlin : Springer-Verlag, 1990
Descrizione fisica 162 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Nerode, Anil
Platek, Richard A.
Sacks, Gerald E.
Scedrov, Andre
Odifreddi, Piergiorgio
Collana Lecture notes in mathematics, 0075-8434 ; 1429
Soggetto topico Computer science - Congresses
Logic - Congresses
ISBN 3540527346
Classificazione AMS 03B20
AMS 03B40
AMS 03B70
AMS 03D15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991001093939707536
Homer, Steven  
Berlin : Springer-Verlag, 1990
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic colloquium, '78 : proceedings of the Colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van dalen, Kenneth McAloon
Logic colloquium, '78 : proceedings of the Colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van dalen, Kenneth McAloon
Autore Boffa, Maurice
Pubbl/distr/stampa Amsterdam : North-Holland, 1979
Descrizione fisica x, 433 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Dalen, Dirk van
McAloon, Kenneth
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 97
Soggetto topico Logic - Congresses
ISBN 0444853782
Classificazione AMS 03-06
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001094719707536
Boffa, Maurice  
Amsterdam : North-Holland, 1979
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic colloquium, '87 : proc. colloquium held in Granada, Spain, July 20-25, 1987 / eds. H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido ... [et al.]
Logic colloquium, '87 : proc. colloquium held in Granada, Spain, July 20-25, 1987 / eds. H. D. Ebbinghaus, J. Fernandez-Prida, M. Garrido ... [et al.]
Autore Artalejo, Rodriguez M.
Pubbl/distr/stampa Amsterdam : North-Holland, 1989
Descrizione fisica x, 375 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Ebbinghaus, Heinz-Dieter
Fernandez-Prida Joaquin
Garrido, M.
Lascar, D.
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 129
Soggetto topico Logic - Congresses
Mathematics-philosophy - Congresses
ISBN 0444880224
Classificazione AMS 03-06
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001094899707536
Artalejo, Rodriguez M.  
Amsterdam : North-Holland, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic colloquium, '88 : proc. colloquium held in Padova, Italy, August 22-31, 1988 / eds. R. Ferro, C. Bonotto, S. Valentini A. Zanardo
Logic colloquium, '88 : proc. colloquium held in Padova, Italy, August 22-31, 1988 / eds. R. Ferro, C. Bonotto, S. Valentini A. Zanardo
Autore Bonotto, C.
Pubbl/distr/stampa Amsterdam : North-Holland, 1989
Descrizione fisica viii, 403 p. ; 23 cm.
Disciplina 511.3
Altri autori (Persone) Ferro, Ruggero
Valentini, S.
Zanardo, A.
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 127
Soggetto topico Logic - Congresses
Mathematics-philosophy - Congresses
ISBN 0444874550
Classificazione AMS 03-06
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001094969707536
Bonotto, C.  
Amsterdam : North-Holland, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic, methodology and philosophy of science VIII : proc. 8th intern. congress of Logic, meth. and phil. of science, Moscow, 1987 / eds. J. E. Fenstad, I. T. Frolov, R. Hilpinen
Logic, methodology and philosophy of science VIII : proc. 8th intern. congress of Logic, meth. and phil. of science, Moscow, 1987 / eds. J. E. Fenstad, I. T. Frolov, R. Hilpinen
Autore Fenstad, Jens Erik
Pubbl/distr/stampa Amsterdam : North-Holland, 1989
Descrizione fisica xvii, 702 p. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Frolov, Ivan T.
Hilpinen, Risto
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 126
Soggetto topico Logic - Congresses
Mathematics-philosophy - Congresses
Science-methodology - Congresses
Science-philosophy - Congresses
ISBN 0444705201
Classificazione AMS 03-06
AMS 03-XX
QA174.I58
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001095249707536
Fenstad, Jens Erik  
Amsterdam : North-Holland, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logiche moderne : aspetti storici, filosofici e matematici della logica moderna e delle sue applicazioni ; [a cura di Evandro Agazzi, Carlo Cellucci]
Logiche moderne : aspetti storici, filosofici e matematici della logica moderna e delle sue applicazioni ; [a cura di Evandro Agazzi, Carlo Cellucci]
Autore Convegno sulle logiche moderne <1977 ; Rome, Italy>
Edizione [1. ed]
Pubbl/distr/stampa Roma : Istituto della Enciclopedia italiana, 1981
Descrizione fisica 2 v. (457, [1] p.) : ill. ; 24 cm.
Disciplina 510.1
Altri autori (Persone) Agazzi, Evandro
Cellucci, Carlo
Altri autori (Enti) Istituto della enciclopedia italiana
Società italiana di logica e filosofia della scienza
Collana Biblioteca internazionale di cultura ; 4
Soggetto topico Logic - Congresses
Classificazione AMS 03A05
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991001096509707536
Convegno sulle logiche moderne <1977 ; Rome, Italy>  
Roma : Istituto della Enciclopedia italiana, 1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui