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.
A beginner's guide to mathematical logic / Raymond M. Smullyan
A beginner's guide to mathematical logic / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Mineola (N.Y.) : Dover, 2014
Descrizione fisica III, 285 p. ; 24 cm.
Disciplina 511.3
Collana Dover books on mathematics
Soggetto topico Logica matematica
ISBN 0-486-49237-0
978-0-486-49237-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000040271
Smullyan, Raymond M.  
Mineola (N.Y.) : Dover, 2014
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Diagonalization and Self-Reference / Raymond M. Smullyan
Diagonalization and Self-Reference / Raymond M. Smullyan
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Oxford : Clarendon Press, 1994
Descrizione fisica xv, 396 p. ; 24 cm
Disciplina 160
Collana Oxford Logic Guides
Soggetto non controllato Logica
Ricorsività
ISBN 0-19-853450-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001082380403321
Smullyan, Raymond M.  
Oxford : Clarendon Press, 1994
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Donna o tigre? : ... e altri indovinelli logici, compreso un racconto matematico sul teorema di Godel / di SMULLYAN R.
Donna o tigre? : ... e altri indovinelli logici, compreso un racconto matematico sul teorema di Godel / di SMULLYAN R.
Autore Smullyan, Raymond M.
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001305020403321
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 New York : Dover Publications, c1995
Descrizione fisica XII, 158 p. ; 22 cm
Disciplina 511.3
Collana Dover books on mathematics
Soggetto non controllato Logica matematica
Logica simbolica
Logica di primo grado
ISBN 0-486-68370-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990003986590403321
Smullyan, Raymond M.  
New York : Dover Publications, c1995
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 [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 / 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-b1077242x
Smullyan, Raymond M.  
Berlin ; New York : Springer-Verlag, 1968
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Set theory and the continuum problem / Raimond M. Smullyan, Melvin Fitting
Set theory and the continuum problem / Raimond M. Smullyan, Melvin Fitting
Autore Smullyan, Raymond M.
Pubbl/distr/stampa Mineola (N.Y.) : Dover, 2010
Descrizione fisica XIII, 315 p. ; 23 cm
Disciplina 511.322
Altri autori (Persone) Fitting, Melvin
Collana Dover books on mathematics
Soggetto topico Teoria degli insiemi
ISBN 0-486-47484-4
978-0-486-47484-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000039731
Smullyan, Raymond M.  
Mineola (N.Y.) : Dover, 2010
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting
Set theory and the continuum problem / Raymond M. Smullyan and Melvin Fitting
Autore Smullyan, Raymond M.
Pubbl/distr/stampa New York, : Clarendon ; Oxford university, 1996
Descrizione fisica XIII, 288 p. : ill. ; 24 cm.
Soggetto topico 03Exx - Set theory [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020]
ISBN 01-985239-5-5
978-01-985239-5-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050703
Smullyan, Raymond M.  
New York, : Clarendon ; Oxford university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui