Political and Related Models / edited by Steven J. Brams, William F. Lucas, Philip D. Straffin
| Political and Related Models / edited by Steven J. Brams, William F. Lucas, Philip D. Straffin |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1983 |
| Descrizione fisica | xx, 396 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algebra
Applied Mathematics Calculus Choice Decision making Equations Game Theory Group decision Mathematics Modeling Statistics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268613 |
| New York, : Springer-Verlag, 1983 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Political and Related Models / edited by Steven J. Brams, William F. Lucas, Philip D. Straffin
| Political and Related Models / edited by Steven J. Brams, William F. Lucas, Philip D. Straffin |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1983 |
| Descrizione fisica | xx, 396 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algebra
Applied Mathematics Calculus Choice Decision making Equations Game Theory Group decision Mathematics Modeling Statistics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268613 |
| New York, : Springer-Verlag, 1983 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Term Logic with Choice Operator / Hans Hermes
| Term Logic with Choice Operator / Hans Hermes |
| Autore | Hermes, Hans |
| Edizione | [Rev. and Enl. Transl. of the 1. German Ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 1970 |
| Descrizione fisica | 55 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Calculus
Choice Mathematical logic Predicate logic Proofs Selection operators Theorem Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0255194 |
Hermes, Hans
|
||
| Berlin, : Springer, 1970 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Term Logic with Choice Operator / Hans Hermes
| Term Logic with Choice Operator / Hans Hermes |
| Autore | Hermes, Hans |
| Edizione | [Rev. and Enl. Transl. of the 1. German Ed] |
| Pubbl/distr/stampa | Berlin, : Springer, 1970 |
| Descrizione fisica | 55 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Calculus
Choice Mathematical logic Predicate logic Proofs Selection operators Theorem Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00255194 |
Hermes, Hans
|
||
| Berlin, : Springer, 1970 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Zermelo’s Axiom of Choice : Its Origins, Development, and Influence / Gregory H. Moore
| Zermelo’s Axiom of Choice : Its Origins, Development, and Influence / Gregory H. Moore |
| Autore | Moore, Gregory H. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | xiv, 412 p. : ill. ; 24 cm |
| Soggetto non controllato |
Axiom of choice
Boundary Element Methods Choice Developments History of mathematics Mathematics Objects Philosophy Proofs Proposition Set Theory Shapes Story Time |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268556 |
Moore, Gregory H.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Zermelo’s Axiom of Choice : Its Origins, Development, and Influence / Gregory H. Moore
| Zermelo’s Axiom of Choice : Its Origins, Development, and Influence / Gregory H. Moore |
| Autore | Moore, Gregory H. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | xiv, 412 p. : ill. ; 24 cm |
| Soggetto topico |
01-XX - History and biography [MSC 2020]
01A05 - General histories, source books [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03E25 - Axiom of choice and related propositions [MSC 2020] |
| Soggetto non controllato |
Axiom of choice
Boundary Element Methods Choice Development History of mathematics Mathematics Objects Philosophy Proofs Proposition Set Theory Shapes Story Time |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268556 |
Moore, Gregory H.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||