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)
Pell and Pell–Lucas numbers with applications / Thomas Koshy
Pell and Pell–Lucas numbers with applications / Thomas Koshy
Autore Koshy, Thomas
Pubbl/distr/stampa New York, : Springer, 2014
Descrizione fisica XXIII, 431 p. : ill. ; 24 cm
Soggetto topico 11-XX - Number theory [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Chebyshev polynomials
Pell Fibonacci
Pell Triangle
Pell numbers
Pell–Lucas numbers
Pell’s Equation
Pythagorean triples
Triangular Numbers
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0102689
Koshy, Thomas  
New York, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Pell and Pell–Lucas numbers with applications / Thomas Koshy
Pell and Pell–Lucas numbers with applications / Thomas Koshy
Autore Koshy, Thomas
Edizione [New York : Springer, 2014]
Pubbl/distr/stampa XXIII, 431 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 11-XX - Number theory [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 8-1-4614-8488-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0102689
Koshy, Thomas  
XXIII, 431 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Perspectives in computational complexity : the Somenath Biswas anniversary volume / Manindra Agrawal, Vikraman Arvind editors
Perspectives in computational complexity : the Somenath Biswas anniversary volume / Manindra Agrawal, Vikraman Arvind editors
Pubbl/distr/stampa Cham, : Birkhäuser, : Springer, 2014
Descrizione fisica X, 202 p. ; 24 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020]
68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]
Soggetto non controllato Arithmetic circuits
Complete sets
Information Theory
Lower bounds
Space and time complexity classes
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0103385
Cham, : Birkhäuser, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Perspectives in computational complexity : the Somenath Biswas anniversary volume / Manindra Agrawal, Vikraman Arvind editors
Perspectives in computational complexity : the Somenath Biswas anniversary volume / Manindra Agrawal, Vikraman Arvind editors
Edizione [Cham : Birkhäuser : Springer, 2014]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03D15 - Complexity of computation [MSC 2020]
68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]
ISBN 8-3-319-05445-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0103385
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Pubbl/distr/stampa Cham, : Springer, 2015
Descrizione fisica xii, 318 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03Bxx - General logic [MSC 2020]
Soggetto non controllato Algebraic Logic
Fuzzy Logic and Vagueness
Fuzzy sets
Ha'jek and Modal Fuzzy Logic
MV-algebras
Partially Ordered Groups
Set Theory and Arithmetic over Fuzzy Logic
Standard Completeness
Substructural Fuzzy Logics
Truth Degrees
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0125341
Cham, : Springer, 2015
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Petr Hájek on Mathematical Fuzzy Logic / Franco Montagna editor
Edizione [Cham : Springer, 2015]
Pubbl/distr/stampa xii, 318 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01Axx - History of mathematics and mathematicians [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03Bxx - General logic [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0125341
xii, 318 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Popular lectures on mathematical logic / Wang Hao
Popular lectures on mathematical logic / Wang Hao
Autore Wang, Hao
Pubbl/distr/stampa New York, : Dover, 1993
Descrizione fisica VI, 281 p. ; 22 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-04-86676-32-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0047558
Wang, Hao  
New York, : Dover, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Popular lectures on mathematical logic / Wang Hao
Popular lectures on mathematical logic / Wang Hao
Autore Wang, Hao
Pubbl/distr/stampa New York, : Dover, 1993
Descrizione fisica VI, 281 p. ; 22 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-04-86676-32-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0047558
Wang, Hao  
New York, : Dover, 1993
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Principles of Intuitionism : Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY / A. S. Troelstra
Principles of Intuitionism : Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY / A. S. Troelstra
Autore Troelstra, Anne S.
Pubbl/distr/stampa Berlin, : Springer, 1969
Descrizione fisica 111 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
Soggetto non controllato Arithmetic
Intuitionism
Mathematics
Ordinals
Proof Theory
Proofs
Theorem
Topology
Well-ordering principles
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0254795
Troelstra, Anne S.  
Berlin, : Springer, 1969
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Principles of mathematical logic / by D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond ... [et al.] ; edited and with notes by Robert E. Luce
Principles of mathematical logic / by D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond ... [et al.] ; edited and with notes by Robert E. Luce
Autore Hilbert, David
Pubbl/distr/stampa New York, : Chelsea, 1999
Descrizione fisica XII, 172 p. ; 24 cm.
Altri autori (Persone) Ackermann, Wilhelm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 08-218-2024-9
978-08-218-2024-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0056286
Hilbert, David  
New York, : Chelsea, 1999
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui