Logics of Variable Inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi |
Autore | Bonzio, Stefano |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | x, 221 p. : ill. ; 24 cm |
Altri autori (Persone) |
Baldi, Michele Pra
Paoli, Francesco |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] |
Soggetto non controllato |
Abstract algebraic logic
Analyticity Bisemilattices Consequence Dualities for Regular Varieties Kleene Logics Logics of Left Variable Inclusion Logics of Right Variable Inclusion Logics of Variable Inclusion Many-valued Logics Meaninglessness Nonclassical Logics Paraconsistent Weak Kleene Logic Plonka Sums Płonka Sums and Regular Varieties Regular Varieties Significance Logics Universal algebra |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0277771 |
Bonzio, Stefano | ||
Cham, : Springer, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logics of Variable Inclusion / Stefano Bonzio, Francesco Paoli, Michele Pra Baldi |
Autore | Bonzio, Stefano |
Pubbl/distr/stampa | Cham, : Springer, 2022 |
Descrizione fisica | x, 221 p. : ill. ; 24 cm |
Altri autori (Persone) |
Baldi, Michele Pra
Paoli, Francesco |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020] 03G27 - Abstract algebraic logic [MSC 2020] |
Soggetto non controllato |
Abstract algebraic logic
Analyticity Bisemilattices Consequence Dualities for Regular Varieties Kleene Logics Logics of Left Variable Inclusion Logics of Right Variable Inclusion Logics of Variable Inclusion Many-valued Logics Meaninglessness Nonclassical Logics Paraconsistent Weak Kleene Logic Plonka Sums Płonka Sums and Regular Varieties Regular Varieties Significance Logics Universal algebra |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00277771 |
Bonzio, Stefano | ||
Cham, : Springer, 2022 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Sequences / edited by H. Halberstam, K. F. Roth |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1983 |
Descrizione fisica | xviii, 293 p. ; 24 cm |
Soggetto topico |
11-XX - Number theory [MSC 2020]
11Bxx - Sequences and sets [MSC 2020] 11B13 - Additive bases, including sumsets [MSC 2020] 11N13 - Primes in congruence classes [MSC 2020] 11B75 - Other combinatorial number theory [MSC 2020] 11B05 - Density, gaps, topology [MSC 2020] 11N36 - Applications of sieve methods [MSC 2020] 11B83 - Special sequences and polynomials [MSC 2020] 11B34 - Representation functions [MSC 2020] |
Soggetto non controllato |
Additive number theory
Consequence Finite fields Number theory Prime Prime numbers Sequences |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268624 |
New York, : Springer-Verlag, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Sequences / edited by H. Halberstam, K. F. Roth |
Pubbl/distr/stampa | New York, : Springer-Verlag, 1983 |
Descrizione fisica | xviii, 293 p. ; 24 cm |
Soggetto topico |
11-XX - Number theory [MSC 2020]
11B05 - Density, gaps, topology [MSC 2020] 11B13 - Additive bases, including sumsets [MSC 2020] 11B34 - Representation functions [MSC 2020] 11B75 - Other combinatorial number theory [MSC 2020] 11B83 - Special sequences and polynomials [MSC 2020] 11Bxx - Sequences and sets [MSC 2020] 11N13 - Primes in congruence classes [MSC 2020] 11N36 - Applications of sieve methods [MSC 2020] |
Soggetto non controllato |
Additive number theory
Consequence Finite fields Number theory Prime Prime numbers Sequences |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00268624 |
New York, : Springer-Verlag, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|