Logica.: Volume 1,: Dimostrazioni e modelli al primo ordine /: Vito Michele Abrusci, Lorenzo Tortora Falco.

Abrusci, V. M.; Falco, Lorenzo Tortora,

doi:10.1007/978-88-470-5538-4

Logica. Volume 1, Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora Falco.

Abrusci, V. M. (V. Michele), author.; Falco, Lorenzo Tortora, author.

2014

QA9

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Logica. Volume 1, Dimostrazioni e modelli al primo ordine / Vito Michele Abrusci, Lorenzo Tortora Falco.

Author

Abrusci, V. M. (V. Michele), author.

ISBN

9788847055384 (electronic book)
8847055385 (electronic book)
9788847055377

DOI

https://doi.org/10.1007/978-88-470-5538-4

Published

Milan : Springer, 2014.

Language

Italian

Description

1 online resource (x, 182 pages)

Item Number

10.1007/978-88-470-5538-4 doi

Call Number

QA9

Dewey Decimal Classification

511.3

Summary

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 universitari di secondo livello. Questo primo volume è dedicato ai teoremi fondamentali sulla logica del primo ordine e alle loro principali conseguenze. Il testo è rivolto in particolare agli studenti dei corsi di laurea magistrale-- Provided by Publisher.

Bibliography, etc. Note

Includes bibliographical references and index.

Access Note

Access limited to authorized users.

Digital File Characteristics

text file PDF

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed January 8, 2015).

Added Author

Falco, Lorenzo Tortora, author.

Series

Unitext ; volume 80.