1.

Record Nr.

UNICAMPANIASUN0126931

Autore

Jongsma, Calvin

Titolo

Introduction to Discrete Mathematics via Logic and Proof / Calvin Jongsma

Pubbl/distr/stampa

xx, 482 p., : ill. ; 24 cm

Edizione

[Cham : Springer, 2019]

Descrizione fisica

Pubblicazione in formato elettronico

Soggetti

03-XX - Mathematical logic and foundations [MSC 2020]

05-XX - Combinatorics [MSC 2020]

06-XX - Order, lattices, ordered algebraic structures [MSC 2020]

05Cxx - Graph theory [MSC 2020]

03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020]

03Bxx - General logic [MSC 2020]

06E30 - Boolean functions [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia