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)
First-Order Logic / Raymond M. Smullyan
First-Order Logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1968
Descrizione fisica XII, 158 p. ; 24 cm
Disciplina 160
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete
Soggetto non controllato Logica
Ricorsività
ISBN 3-540-04099-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001063120403321
Smullyan, Raymond M.  
Berlin [etc.] : Springer-Verlag, 1968
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First-Order Logic / Raymond M. Smullyan
First-Order Logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Berlin, : Springer, 1968
Descrizione fisica xii, 160 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Compactness theorem
Finite
Logic
Mathematica
Proofs
Theorem
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0254628
Smullyan, Raymond M.  
Berlin, : Springer, 1968
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
First-Order Logic / Raymond M. Smullyan
First-Order Logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Berlin, : Springer, 1968
Descrizione fisica xii, 160 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Compactness theorem
Finite
Logic
Mathematica
Proofs
Theorem
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00254628
Smullyan, Raymond M.  
Berlin, : Springer, 1968
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
First-Order Logic / by SMULLYAN R.M.
First-Order Logic / by SMULLYAN R.M.
Autore Smullyan, Raymond M.
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001305040403321
Smullyan, Raymond M.  
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First-Order Logic / by SMULLYAN R.
First-Order Logic / by SMULLYAN R.
Autore Smullyan, Raymond M.
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001305030403321
Smullyan, Raymond M.  
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First-order logic / Raymond M. Smullyan
First-order logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Berlin ; New York : Springer-Verlag, 1968
Descrizione fisica xii, 158 p. ; 24 cm
Disciplina 511.3
Collana Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge ; 43
Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, 0071-1136 ; 43 = A series of modern surveys in mathematics, 0071-1136 ; 43
Soggetto topico First-order logic
Classificazione AMS 03B10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000895449707536
Smullyan, Raymond M.  
Berlin ; New York : Springer-Verlag, 1968
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Qual è il titolo di questo libro? : l'enigma di Dracula e altri indovinelli logici / Raymond Smullyan
Qual è il titolo di questo libro? : l'enigma di Dracula e altri indovinelli logici / Raymond Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Bologna, : Zanichelli, 1981
Descrizione fisica 214 p. ; 21 cm
Soggetto topico 00A08 - Recreational mathematics [MSC 2020]
ISBN 978-88-08-05422-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0050695
Smullyan, Raymond M.  
Bologna, : Zanichelli, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Qual è il titolo di questo libro? : l'enigma di Dracula e altri indovinelli logici / Raymond Smullyan
Qual è il titolo di questo libro? : l'enigma di Dracula e altri indovinelli logici / Raymond Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Bologna, : Zanichelli, 1981
Descrizione fisica 214 p. ; 21 cm
Soggetto topico 00A08 - Recreational mathematics [MSC 2020]
ISBN 978-88-08-05422-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00050695
Smullyan, Raymond M.  
Bologna, : Zanichelli, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Satana, Cantor e l'infinito e altri inquietanti rompicapi / Raymond Smullyan ; traduzione di Paolo Casalegno
Satana, Cantor e l'infinito e altri inquietanti rompicapi / Raymond Smullyan ; traduzione di Paolo Casalegno
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Milano, : Bompiani, 1994
Descrizione fisica 300 p. ; 23 cm
Soggetto topico 00A08 - Recreational mathematics [MSC 2020]
ISBN 88-452-2262-4
978-88-452-2262-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0050693
Smullyan, Raymond M.  
Milano, : Bompiani, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Satana, Cantor e l'infinito e altri inquietanti rompicapi / Raymond Smullyan ; traduzione di Paolo Casalegno
Satana, Cantor e l'infinito e altri inquietanti rompicapi / Raymond Smullyan ; traduzione di Paolo Casalegno
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Milano, : Bompiani, 1994
Descrizione fisica 300 p. ; 23 cm
Soggetto topico 00A08 - Recreational mathematics [MSC 2020]
ISBN 88-452-2262-4
978-88-452-2262-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00050693
Smullyan, Raymond M.  
Milano, : Bompiani, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui