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)
1 / Modesto Dedò
1 / Modesto Dedò
Autore Dedò, Modesto
Edizione [2. ed]
Pubbl/distr/stampa Napoli, : Liguori, 1962
Descrizione fisica 332 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
51-XX - Geometry [MSC 2020]
ISBN 88-207-0176-6
978-88-207-0176-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-VAN00015777
Dedò, Modesto  
Napoli, : Liguori, 1962
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1 / Jean-Yves Girard
1 / Jean-Yves Girard
Autore Girard, Jean Y.
Pubbl/distr/stampa Napoli, : Bibliopolis, 1987
Descrizione fisica 503 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
ISBN 88-7088-123-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0055646
Girard, Jean Y.  
Napoli, : Bibliopolis, 1987
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1 / Jean-Yves Girard
1 / Jean-Yves Girard
Autore Girard, Jean Y.
Pubbl/distr/stampa Napoli, : Bibliopolis, 1987
Descrizione fisica 503 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020]
ISBN 88-7088-123-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00055646
Girard, Jean Y.  
Napoli, : Bibliopolis, 1987
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
1 / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga editors
Pubbl/distr/stampa Cham, : Springer, 2022
Descrizione fisica xiv, 205 p. : ill. ; 24 cm
Soggetto topico 00A30 - Philosophy of mathematics [MSC 2020]
01A60 - History of mathematics in the 20th century [MSC 2020]
01A80 - Sociology (and profession) of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
Soggetto non controllato Foundations of mathematics
General philosophy of science
History of mathematics and logic
Mathematical logic
Philosophy of mathematics and logic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00276932
Cham, : Springer, 2022
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam, : Elsevier, 2004
Descrizione fisica VIII, 618 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0092459
Amsterdam, : Elsevier, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
Pubbl/distr/stampa Amsterdam, : Elsevier, 2004
Descrizione fisica VIII, 618 p. ; 24 cm
Soggetto topico 01Axx - History of mathematics and mathematicians [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00092459
Amsterdam, : Elsevier, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
1: Greek, indian and arabic logic / edited by Dov M. Gabbay and John Woods
Edizione [Amsterdam : Elsevier, 2004]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
ISBN 8-0-444-50466-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0092459
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Logic, Sets and Numbers / R. E. Edwards
1: Logic, Sets and Numbers / R. E. Edwards
Autore Edwards, Robert E.
Pubbl/distr/stampa New York, : Springer-Verlag, 1979
Descrizione fisica xxxiv, 935 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
00A05 - Mathematics in general [MSC 2020]
08-XX - General algebraic systems [MSC 2020]
Soggetto non controllato Differential calculus
Differential equations
Equations
Finite
Integral calculus
Mathematics
Proofs
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0268249
Edwards, Robert E.  
New York, : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Logic, Sets and Numbers / R. E. Edwards
1: Logic, Sets and Numbers / R. E. Edwards
Autore Edwards, Robert E.
Pubbl/distr/stampa New York, : Springer-Verlag, 1979
Descrizione fisica xxxiv, 935 p. : ill. ; 24 cm
Soggetto topico 00A05 - Mathematics in general [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
08-XX - General algebraic systems [MSC 2020]
Soggetto non controllato Differential calculus
Differential equations
Equations
Finite
Integral calculus
Mathematics
Proofs
Variables
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00268249
Edwards, Robert E.  
New York, : Springer-Verlag, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Mathematical logic / George Tourlakis
1: Mathematical logic / George Tourlakis
Autore Tourlakis, George
Pubbl/distr/stampa Cambridge, : Cambridge university, 2003
Descrizione fisica XI, 328 p. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 05-217-5373-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0050262
Tourlakis, George  
Cambridge, : Cambridge university, 2003
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui