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)
Term logic with choice operator : revised and enlarged translation of the first German edition / Hans Hermes
Term logic with choice operator : revised and enlarged translation of the first German edition / Hans Hermes
Autore Hermes, Hans
Pubbl/distr/stampa Berlin [etc.] : Springer, 1965
Descrizione fisica 55 p. ; 26 cm.
Disciplina 511.3
Collana Lecture Notes in Mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011125
Hermes, Hans  
Berlin [etc.] : Springer, 1965
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Term logic with choice operator / Hans Hermes
Term logic with choice operator / Hans Hermes
Autore Hermes, Hans
Edizione [[1st engl. ed.]]
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1970
Descrizione fisica 55 p. ; 26 cm.
Disciplina 511.3
Collana Lecture notes in mathematics, 0075-8434 ; 6
Soggetto topico Symbolic logic
Classificazione AMS 03B
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991001422119707536
Hermes, Hans  
Berlin ; New York : Springer-Verlag, 1970
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui