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.
Admissibility of logical inference rules [electronic resource] / Vladimir V. Rybakov
Admissibility of logical inference rules [electronic resource] / Vladimir V. Rybakov
Autore Rybakov, Vladimir Vladimir
Pubbl/distr/stampa Amsterdam ; New York : Elsevier, 1997
Descrizione fisica 617 p. : ill. ; 24 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics ; 136
Soggetto topico Logic, Symbolic and mathematical
Inference
ISBN 0444895051
9780444895059
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b13658530
Rybakov, Vladimir Vladimir  
Amsterdam ; New York : Elsevier, 1997
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Algorithmic composition [electronic resource] : paradigms of automated music generation / by Gerhard Nierhaus
Algorithmic composition [electronic resource] : paradigms of automated music generation / by Gerhard Nierhaus
Autore Nierhaus, Gerhard
Pubbl/distr/stampa Vienna : Springer, 2009
Descrizione fisica v.: digital
Soggetto topico Algorithms
Computer science - Mathematics
Information systems
Logic, Symbolic and mathematical
Mathematics
Music
ISBN 9783211755402
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b13870452
Nierhaus, Gerhard  
Vienna : Springer, 2009
Software
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Analysis and logic / authors, C. Ward Henson ... [et al.] ; edited by Catherine Finet & Christian Michaux
Analysis and logic / authors, C. Ward Henson ... [et al.] ; edited by Catherine Finet & Christian Michaux
Pubbl/distr/stampa Cambridge ; New York : Cambridge University Press, 2002
Descrizione fisica xiv, 267 p. ; 23 cm
Disciplina 515.7
Altri autori (Persone) Henson, C. W.author
Finet, Catherine
Michaus, Christian
Collana London Mathematical Society lecture note series, 0076-0552 ; 262
Soggetto topico Mathematical analysis
Logic, Symbolic and mathematical
ISBN 0521648610
Classificazione AMS 46-06
LC QA300.5.A536
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b12169481
Cambridge ; New York : Cambridge University Press, 2002
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Around classification theory of models [electronic resource] / by Saharon Shelah
Around classification theory of models [electronic resource] / by Saharon Shelah
Autore Shelah, Saharon
Pubbl/distr/stampa Berlin : Springer, 1986
Descrizione fisica 1 online resource (279 p.)
Disciplina 511.3
Collana Lecture Notes in Mathematics, 0075-8434 ; 1182
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540397885
Classificazione AMS 03C
AMS 03E
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b14139170
Shelah, Saharon  
Berlin : Springer, 1986
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The axiom of constructibility : a guide for the mathematician [electronic resource] / by Keith J. Devlin
The axiom of constructibility : a guide for the mathematician [electronic resource] / by Keith J. Devlin
Autore Devlin, Keith J.
Pubbl/distr/stampa Berlin : Springer, 1977
Descrizione fisica 1 online resource (viii, 96 p.)
Disciplina 511.3
Collana Lecture Notes in Mathematics, 0075-8434 ; 617
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540370345
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b14131341
Devlin, Keith J.  
Berlin : Springer, 1977
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Banach spaces and descriptive set theory : selected topics [electronic resource] / by Pandelis Dodos
Banach spaces and descriptive set theory : selected topics [electronic resource] / by Pandelis Dodos
Autore Dodos, Pandelis
Pubbl/distr/stampa Berlin : Springer, 2010
Descrizione fisica 1 online resource (x, 160 p.)
Disciplina 515.7
Collana Lecture Notes in Mathematics, 0075-8434 ; 1993
Soggetto topico Mathematics
Functional analysis
Combinatorics
Logic, Symbolic and mathematical
ISBN 9783642121531
Classificazione AMS 46B03
AMS 46B15
AMS 46B07
AMS 46B70
AMS 46M40
AMS 03E15
AMS 03E75
AMS 05D10
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b14145947
Dodos, Pandelis  
Berlin : Springer, 2010
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Cabal seminar 77 – 79 [electronic resource] : proceedings, Caltech-UCLA logic seminar 1977 – 79 / edited by Alexander S. Kechris, Donald A. Martin, Yiannis N. Moschovakis
Cabal seminar 77 – 79 [electronic resource] : proceedings, Caltech-UCLA logic seminar 1977 – 79 / edited by Alexander S. Kechris, Donald A. Martin, Yiannis N. Moschovakis
Pubbl/distr/stampa Berlin : Springer, 1981
Descrizione fisica 1 online resource (v, 277 p.)
Disciplina 511.3
Altri autori (Persone) Kechris, Alexander S.
Martin, Donald A.
Moschovakis, Yiannis N.
Collana Lecture Notes in Mathematics, 0075-8434 ; 839
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540384229
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b14135097
Berlin : Springer, 1981
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Cabal seminar 79–81 [electronic resource] : proceedings, Caltech-UCLA logic seminar 1979–81 / edited by Alexander S. Kechris, Donald A. Martin, Yiannis N. Moschovakis
Cabal seminar 79–81 [electronic resource] : proceedings, Caltech-UCLA logic seminar 1979–81 / edited by Alexander S. Kechris, Donald A. Martin, Yiannis N. Moschovakis
Pubbl/distr/stampa Berlin : Springer, 1983
Descrizione fisica 1 online resource (v, 284 p.)
Disciplina 511.3
Altri autori (Persone) Kechris, Alexander S.
Martin, Donald A.
Moschovakis, Yiannis N.
Collana Lecture Notes in Mathematics, 0075-8434 ; 1019
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540386803
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b14135954
Berlin : Springer, 1983
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Cabal seminar 81-85 [electronic resource] : proceedings, Caltech-UCLA logic seminar 1981-85 / edited by Alexander S. Kechris, Donald A. Martin, John R. Steel
Cabal seminar 81-85 [electronic resource] : proceedings, Caltech-UCLA logic seminar 1981-85 / edited by Alexander S. Kechris, Donald A. Martin, John R. Steel
Pubbl/distr/stampa Berlin : Springer, 1988
Descrizione fisica 1 online resource (v, 224 p.)
Disciplina 511.3
Altri autori (Persone) Kechris, Alexander S.
Martin, Donald A.
Steel, John R.
Collana Lecture Notes in Mathematics, 0075-8434 ; 1333
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540458968
Classificazione AMS 03D
AMS 03E
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b14140779
Berlin : Springer, 1988
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Category theory [electronic resource] : applications to algebra, logic and topology proceedings of the international conference held at Gummersbach, July 6-10, 1981 / edited by Klaus Heiner Kamps, Dieter Pumplun, Walter Tholen
Category theory [electronic resource] : applications to algebra, logic and topology proceedings of the international conference held at Gummersbach, July 6-10, 1981 / edited by Klaus Heiner Kamps, Dieter Pumplun, Walter Tholen
Pubbl/distr/stampa Berlin : Springer, 1982
Descrizione fisica 1 online resource (xv, 322 p.)
Disciplina 512.66
Altri autori (Persone) Kamps, Klaus Heiner
Pumplun, Dieter
Tholen, Walter
Collana Lecture Notes in Mathematics, 0075-8434 ; 962
Soggetto topico Mathematics
K-theory
Logic, Symbolic and mathematical
Topology
ISBN 9783540395508
Classificazione AMS 18-06
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b14138554
Berlin : Springer, 1982
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui