Logica: Metodo Breve

Logica: Metodo Breve

ItalianPaperback / softback
Mundici Daniele
Springer Verlag
EAN: 9788847018839
On order
Delivery on Friday, 20. of December 2024
CZK 657
Common price CZK 730
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Oxford Bookshop Ostrava
not available
Oxford Bookshop Olomouc
not available
Oxford Bookshop Plzeň
not available
Oxford Bookshop Brno
not available
Oxford Bookshop Hradec Králové
not available
Oxford Bookshop České Budějovice
not available
Oxford Bookshop Liberec
not available

Detailed information

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.
EAN 9788847018839
ISBN 8847018838
Binding Paperback / softback
Publisher Springer Verlag
Publication date February 10, 2011
Pages 126
Language Italian
Dimensions 9 x 156 x 236
Country Italy
Authors Mundici Daniele
Illustrations XI, 126 pagg.
Series La Matematica per il 3+2