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 / Hans Hermes
Term Logic with Choice Operator / Hans Hermes
Autore Hermes, Hans
Edizione [Rev. and Enl. Transl. of the 1. German Ed]
Pubbl/distr/stampa Berlin, : Springer, 1970
Descrizione fisica 55 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Calculus
Choice
Mathematical logic
Predicate logic
Proofs
Selection operators
Theorem
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0255194
Hermes, Hans  
Berlin, : Springer, 1970
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Term Logic with Choice Operator / Hans Hermes
Term Logic with Choice Operator / Hans Hermes
Autore Hermes, Hans
Edizione [Rev. and Enl. Transl. of the 1. German Ed]
Pubbl/distr/stampa Berlin, : Springer, 1970
Descrizione fisica 55 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Calculus
Choice
Mathematical logic
Predicate logic
Proofs
Selection operators
Theorem
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00255194
Hermes, Hans  
Berlin, : Springer, 1970
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui