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 and Automated Theorem Proving / Melvin Fitting
First-Order Logic and Automated Theorem Proving / Melvin Fitting
Autore Fitting, Melvin
Edizione [2nd ed.]
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1996
Descrizione fisica xvi, 326 p. ; 23 cm
Disciplina 160
Collana Graduate texts in computer science
Soggetto non controllato Logica
Ricorsività
ISBN 0-387-94593-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001432250403321
Fitting, Melvin  
New York [etc.] : Springer-Verlag, 1996
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
First-Order Logic and Automated Theorem Proving / Melvin Fitting
First-Order Logic and Automated Theorem Proving / Melvin Fitting
Autore Fitting, Melvin
Pubbl/distr/stampa New York [etc.] : Springer-Verlag, 1990
Descrizione fisica xiv, 242 ; 24 cm
Disciplina 160
Collana Text and Monographs in Computer Science
Soggetto non controllato Logica
Ricorsività
ISBN 0-387-97233-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001109090403321
Fitting, Melvin  
New York [etc.] : Springer-Verlag, 1990
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Foundamentals of generalized recursion theory / Melvung Fitting
Foundamentals of generalized recursion theory / Melvung Fitting
Autore Fitting, Melvin
Pubbl/distr/stampa Amsterdam [etc.] : North-Holland, 1981
Descrizione fisica XX, 307 p. : ill. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 0-444-86171-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011462
Fitting, Melvin  
Amsterdam [etc.] : North-Holland, 1981
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Fundamentals of generalized recursion theory / Melvin Fitting
Fundamentals of generalized recursion theory / Melvin Fitting
Autore Fitting, Melvin
Pubbl/distr/stampa New York [etc.] : North-Holland
Collana Studies in logic and the foundations of mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001219700403321
Fitting, Melvin  
New York [etc.] : North-Holland
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Fundamentals of generalized recursion theory / Melvin Fitting
Fundamentals of generalized recursion theory / Melvin Fitting
Autore Fitting, Melvin
Pubbl/distr/stampa Amsterdam : North-Holland, c1981
Descrizione fisica xx, 307 p. : ill. ; 23 cm.
Disciplina 511.3
Soggetto topico Recursion theory
ISBN 0444861718
Classificazione AMS 03D
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000920409707536
Fitting, Melvin  
Amsterdam : North-Holland, c1981
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Proof Methods for Modal and Intuitionistic Logics / by Fitting M.
Proof Methods for Modal and Intuitionistic Logics / by Fitting M.
Autore Fitting, Melvin
Pubbl/distr/stampa Boston [etc.] : Reidel
Collana Synthese Library
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001219720403321
Fitting, Melvin  
Boston [etc.] : Reidel
Materiale a stampa
Lo trovi qui: Univ. Federico II
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
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-VAN0050703
Smullyan, Raymond M.  
New York, : Clarendon ; Oxford university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
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 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020]
03Exx - Set theory [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-VAN00050703
Smullyan, Raymond M.  
New York, : Clarendon ; Oxford university, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui