Logica: Metodo Breve

Main
Mathematics - Logic
Logica: Metodo Breve

Logica: Metodo Breve

Name: Logica: Metodo Breve
ISBN: 9788847018846

Daniele Mundici (auth.)

0 / 0

0 comments

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.

Thể loại:

Mathematics - Logic

Năm:

2011

In lần thứ:

1st Edition.

Nhà xuát bản:

Springer Milan

Ngôn ngữ:

italian

Trang:

143