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 mathematical introduction to logic / Herbert B. Enderton
A mathematical introduction to logic / Herbert B. Enderton
Autore Enderton, Herbert B.
Pubbl/distr/stampa San Diego [etc.] : Academic Press, c1972
Descrizione fisica XIII, 295 p. : ill. ; 24 cm.
Disciplina 511.3
Soggetto topico Logica matematica
ISBN 0-12-238450-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011185
Enderton, Herbert B.  
San Diego [etc.] : Academic Press, c1972
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
A primer of probability logic : Ernest W. Adams
A primer of probability logic : Ernest W. Adams
Autore ADAMS, Ernest W.
Pubbl/distr/stampa Stanford (Calif.) : CSLI, copyr.1998
Descrizione fisica XIV, 376 p. ; 23 cm
Disciplina 511.3
Collana CSLI Lecture Notes
Soggetto topico Logica matematica
Probabilità
ISBN 1-57586-067-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990001187990203316
ADAMS, Ernest W.  
Stanford (Calif.) : CSLI, copyr.1998
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
A proof theory for general unification / Wayne Snyder
A proof theory for general unification / Wayne Snyder
Autore Snyder, Wayne <1955- >
Pubbl/distr/stampa Boston [etc.], : Birkhauser, 1991
Descrizione fisica VI, 175 p. ; 24 cm.
Disciplina 511.3
Collana Progress in computer science and applied logic
Soggetto topico Logica matematica
ISBN 0817635939
3764335939
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISANNIO-MIL0082707
Snyder, Wayne <1955- >  
Boston [etc.], : Birkhauser, 1991
Materiale a stampa
Lo trovi qui: Univ. del Sannio
Opac: Controlla la disponibilità qui
A resolution principle for a logic with restricted quantifiers / Hans-Jürgen Bürckert
A resolution principle for a logic with restricted quantifiers / Hans-Jürgen Bürckert
Autore BÜRCKERT, Hans-Jürgen
Pubbl/distr/stampa Berlin : Springer-Verlag, c1991
Descrizione fisica X, 116 p. : ill. ; 24 cm
Disciplina 006.3
Collana Lectures notes in artificial intelligence
Soggetto topico Intelligenza artificiale
Logica matematica
ISBN 3-540-55034-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990000482640203316
BÜRCKERT, Hans-Jürgen  
Berlin : Springer-Verlag, c1991
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
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