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)
Algebraic systems / A. I. Mal'cev ; translated from the russian by B. D. Seckler and A. P. Doohovskoy
Algebraic systems / A. I. Mal'cev ; translated from the russian by B. D. Seckler and A. P. Doohovskoy
Autore Mal'cev, Arkadii A.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1973
Descrizione fisica xii, 317 p. : ill. ; 24 cm.
Disciplina 511.3
Collana Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 192
Soggetto topico Abstract algebra
Model theory
Quasivarieties
Symbolic logic
Varieties
ISBN 3540057927
Classificazione AMS 03C
AMS 08B
AMS 08C15
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000662539707536
Mal'cev, Arkadii A.  
Berlin ; New York : Springer-Verlag, 1973
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
The algebraic theory of switching circuits / by Gr. C. Moisil
The algebraic theory of switching circuits / by Gr. C. Moisil
Autore Moisil, Grigore C.
Descrizione fisica New York ; Oxford : Pergamon Press, [1969] - 719 p. : ill. ; 23 cm.
Disciplina 621.381537
Collana International series in pure and applied mathematics ; 41
Soggetto topico Algebraic fields
Switching theory
Symbolic logic
ISBN 0080101488
Classificazione AMS 94C
AMS 94C10
LC QA401
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000663129707536
Moisil, Grigore C.  
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Bertrand Russell and the origins of the set-theoretic 'paradoxes' / Alejandro R. Garciadiego
Bertrand Russell and the origins of the set-theoretic 'paradoxes' / Alejandro R. Garciadiego
Autore Garciadiego Dantan, Alejandro Ricardo
Pubbl/distr/stampa Basel ; Boston ; Berlin : Birkhauser, 1992
Descrizione fisica xxix, 264 p. : ill. ; 24 cm.
Disciplina 511.3
Soggetto topico Mathematical logic
Paradox
Russell, Bertrand, 1872-1970
Set theory
Symbolic logic
ISBN 3764326697
Classificazione AMS 01A55
AMS 01A60
AMS 03-03
QA9.G24
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000717409707536
Garciadiego Dantan, Alejandro Ricardo  
Basel ; Boston ; Berlin : Birkhauser, 1992
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli
Capire una dimostrazione : il ruolo della logica nella matematica / Gabriele Lolli
Autore Lolli, Gabriele
Pubbl/distr/stampa Bologna : Il Mulino, c1988
Descrizione fisica 209 p. ; 22 cm.
Disciplina 511.3
Collana Saggi [Il Mulino] ; 351
Soggetto topico Mathematical logic
Symbolic logic
ISBN 8815019987
Classificazione AMS 03-01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000731619707536
Lolli, Gabriele  
Bologna : Il Mulino, c1988
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Computability and logic / George Boolos, Richard Jeffrey
Computability and logic / George Boolos, Richard Jeffrey
Autore Boolos, George
Pubbl/distr/stampa Cambridge : Cambridge University Press, c1974
Descrizione fisica x, 262 p. : ill. ; 24 cm.
Disciplina 511.35
Altri autori (Persone) Jeffrey, Richard C.author
Soggetto topico Computable functions
Recursive functions
Symbolic logic
ISBN 052120402X
Classificazione AMS 03D
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000772999707536
Boolos, George  
Cambridge : Cambridge University Press, c1974
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Computability, complexity, logic / E. Börger
Computability, complexity, logic / E. Börger
Autore Borger, Egon
Pubbl/distr/stampa Amsterdam : North-Holland, 1989
Descrizione fisica xx, 592 p. ; 23 cm.
Collana Studies in logic and the foundations of mathematics, ISSN 0049237X ; 128
Soggetto topico Computable functions
Computational complexity
Mathematical logic
Symbolic logic
ISBN 0444874062
Classificazione AMS 03D
AMS 03D05
AMS 03D15
AMS 68Q
QA9.59.B6713
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000773079707536
Borger, Egon  
Amsterdam : North-Holland, 1989
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Constructibility and mathematical existence / Charles S. Chihara
Constructibility and mathematical existence / Charles S. Chihara
Autore Chihara, Charles S.
Pubbl/distr/stampa Oxford : Clarendon Press, 1990
Descrizione fisica xv, 282 p. : ill. ; 23 cm.
Disciplina 511
Soggetto topico Constructive mathematics
Mathematical logic
Mathematics-philosophy
Symbolic logic
ISBN 0198239750
Classificazione QAB.4.C45
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000783669707536
Chihara, Charles S.  
Oxford : Clarendon Press, 1990
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
A course in mathematical logic / by J. L. Bell and M. Machover
A course in mathematical logic / by J. L. Bell and M. Machover
Autore Bell, J.S.
Pubbl/distr/stampa Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1977
Descrizione fisica xviii, 599 p. ; 23 cm.
Disciplina 511.3
Altri autori (Persone) Machover, Moshé
Soggetto topico Mathematical logic-textbooks
Symbolic logic
ISBN 0720428440
Classificazione AMS 03-01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000798309707536
Bell, J.S.  
Amsterdam : North-Holland ; New York : sole distributors for the U.S.A. and Canada American Elsevier, 1977
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Einfuhrung in die operative Logik und Mathematik / Paul Lorenzen
Einfuhrung in die operative Logik und Mathematik / Paul Lorenzen
Autore Lorenzen, Paul
Edizione [2. Aufl]
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1969
Descrizione fisica 298 p. ; 24 cm.
Disciplina 511.3
Collana Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 78
Soggetto topico Mathematical logic-textbooks
Symbolic logic
Classificazione AMS 03-01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISALENTO-991000843599707536
Lorenzen, Paul  
Berlin ; New York : Springer-Verlag, 1969
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. Walter
A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. Walter
Autore Dowsing, Roy D.
Pubbl/distr/stampa Boston ; Oxford : Blackwell Scientific Publ., 1986
Descrizione fisica vi, 265 p. : ill. ; 24 cm.
Disciplina 511.3
Altri autori (Persone) Rayward-Smith, V. J.
Walter, C. D.
Collana Computer science texts
Soggetto topico Computer science
Mathematical logic
Symbolic logic
ISBN 0632013087 (pbk.)
Classificazione AMS 03-01
AMS 03-XX
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione en
Record Nr. UNISALENTO-991000893849707536
Dowsing, Roy D.  
Boston ; Oxford : Blackwell Scientific Publ., 1986
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui