Logica Volume 1 Dimostrazioni e modelli al primo ordine /

Logica Volume 1 Dimostrazioni e modelli al primo ordine /

Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitar...

Full description

Bibliographic Details
Main Authors: Abrusci, Vito Michele (Author), Falco, Lorenzo Tortora de (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Italian
Published: Milano : Springer Milan : Imprint: Springer, 2014.
Series:UNITEXT, 80
Subjects:
Mathematics.
Logic.
Mathematical logic.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items