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)
A structural approach to arithmetic / Charles R. Parish and Roy L. Mc Cormick
A structural approach to arithmetic / Charles R. Parish and Roy L. Mc Cormick
Autore PARISH, Charles R.
Pubbl/distr/stampa New York : Van Nostrand, 1970
Descrizione fisica IX, 421 p. : ill. ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003225530203316
PARISH, Charles R.  
New York : Van Nostrand, 1970
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A survey of symbolic logic / Lewis C.I.
A survey of symbolic logic / Lewis C.I.
Autore LEWIS, C.I.
Pubbl/distr/stampa Berkeley : University of California Press, 1918
Descrizione fisica VI, 406 p. : ill. ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003224320203316
LEWIS, C.I.  
Berkeley : University of California Press, 1918
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A transfinite type theory with type variables / P.B. Andrews ; L.E.J. Brouwer...[et al.] (Eds.)
A transfinite type theory with type variables / P.B. Andrews ; L.E.J. Brouwer...[et al.] (Eds.)
Autore ANDREWS, P.B.
Pubbl/distr/stampa Amsterdam : North-Holland, 1965
Descrizione fisica XV, 143 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228600203316
ANDREWS, P.B.  
Amsterdam : North-Holland, 1965
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract automata / Starke Peter H. ; Translated from the german by I. Shepherd
Abstract automata / Starke Peter H. ; Translated from the german by I. Shepherd
Autore STARKE, Peter H.
Pubbl/distr/stampa Amsterdam : North Holland, 1972
Descrizione fisica 419 p. ; 22 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003226780203316
STARKE, Peter H.  
Amsterdam : North Holland, 1972
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract set theory / Abraham A. Fraenkel ; L.E.J. Brouwer...[et al.] (Eds.)
Abstract set theory / Abraham A. Fraenkel ; L.E.J. Brouwer...[et al.] (Eds.)
Autore FRAENKEL, Abraham A.
Edizione [fourth revised edition]
Pubbl/distr/stampa Amsterdam : North-Holland, 1976
Descrizione fisica X, 281 p. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 7204-0390-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003228930203316
FRAENKEL, Abraham A.  
Amsterdam : North-Holland, 1976
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract set theory / Skolem thoralf A.
Abstract set theory / Skolem thoralf A.
Autore SKOLEM, Thoralf A.
Pubbl/distr/stampa Indiana : University of Notre Dame, 1962
Descrizione fisica 70 p. ; 23 cm
Disciplina 511.322
Collana Notre Dame mathematical lectures
Soggetto topico Teoria degli insiemi
Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003229450203316
SKOLEM, Thoralf A.  
Indiana : University of Notre Dame, 1962
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstrakte automaten / Starke Peter H. ; Translated from the german by I. Shepherd
Abstrakte automaten / Starke Peter H. ; Translated from the german by I. Shepherd
Autore STARKE, Peter H.
Pubbl/distr/stampa Berlin : VEB Deutscher Verlag, 1969
Descrizione fisica 392 p. : Mit 23 abbildungen ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
Record Nr. UNISA-990003226790203316
STARKE, Peter H.  
Berlin : VEB Deutscher Verlag, 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Addio Cartesio : la fine della logica e la ricerca di una nuova cosmologia della mente / Keith Devlin
Addio Cartesio : la fine della logica e la ricerca di una nuova cosmologia della mente / Keith Devlin
Autore DEVLIN, Keith
Edizione [Torino : Bollati Boringhieri]
Descrizione fisica Trad. di: Goodbye, Descartes.
Disciplina 153
Collana Saggi. Scienze
Soggetto topico Logica matematica
Mente
Formato Grafica
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005618570203316
DEVLIN, Keith  
Grafica
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Afunctional approach to syntax : In generative description of language / Petr Sgall...[et al.] (Eds.)
Afunctional approach to syntax : In generative description of language / Petr Sgall...[et al.] (Eds.)
Pubbl/distr/stampa New York : American Elsevier Publ. Co., 1969
Descrizione fisica VIII, 122 p. : ill. ; 23 cm
Disciplina 511.3
Collana Mathematical linguistics and automatic language processing
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003222260203316
New York : American Elsevier Publ. Co., 1969
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebraic complexity theory / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig
Algebraic complexity theory / Peter Burgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig
Autore Burgisser, Peter
Pubbl/distr/stampa Berlin [etc.] : Springer, c1997
Descrizione fisica XXIII, 618 p. : ill. ; 25 cm.
Disciplina 511.3
Altri autori (Persone) Clausen, Michael
Shokrollahi, M. Amin
Collana Grundlehren der mathematischen Wissenschaften
Soggetto topico Logica matematica
ISBN 3-540-60582-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000015558
Burgisser, Peter  
Berlin [etc.] : Springer, c1997
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui