libreria specializzata in arte e architettura
english

email/login

password

ricordami su questo computer

invia


Hai dimenticato la tua password?
inserisci il tuo email/login qui sotto e riceverai la password all'indirizzo indicato.

invia

chiudi

ricerca avanzata

chiudi

OFFERTA DEL GIORNO

Gio. Benedetto Castiglione Genovese. Il Grechetto a Roma. Committenza e opere

A cura di Orlando Anna e Francesco Rotatori.
Genova, 2023; br., pp. 304, ill. col., cm 23x29.

prezzo di copertina: € 150.00

Gio. Benedetto Castiglione Genovese. Il Grechetto a Roma. Committenza e opere

Costo totale: € 150.00 € 358.00 aggiungi al carrello carrello

Libri compresi nell'offerta:

Gio. Benedetto Castiglione Genovese. Il Grechetto a Roma. Committenza e opere

A cura di Orlando Anna e Francesco Rotatori.
Genova, 2023; br., pp. 304, ill. col., cm 23x29.

OMAGGIO (prezzo di copertina: € 150.00)

Gio. Benedetto Castiglione Genovese. Il Grechetto a Roma. Committenza e opere

Giovan Antonio Dosio Da San Gimignano Architetto e Scultor Fiorentino tra Roma, Firenze e Napoli

A cura di Emanuele Barletti.
Fotografie di BACHerin Paolo e Saverio De Meo.
Prima edizione 2011.
Firenze, 2011; ril., pp. 844, ill. b/n e col., tavv., cm 24x28,5.

OMAGGIO (prezzo di copertina: € 98.00)

Giovan Antonio Dosio Da San Gimignano Architetto e Scultor Fiorentino tra Roma, Firenze e Napoli

Vincenzo Meucci

Co-Editore: Cassa di Risparmio di Firenze.
Firenze, 2015; cartonato, pp. 304, ill. col., cm 25x29,5.
(Arte).

OMAGGIO (prezzo di copertina: € 50.00)

Vincenzo Meucci

Gherardo Bosio. Opera Completa 1927-1941

Firenze, 2016; br., pp. 368, ill. b/n e col., cm 23x28.
(Architetti del Novecento. Storia e archivi).

OMAGGIO (prezzo di copertina: € 60.00)

Gherardo Bosio. Opera Completa 1927-1941

chiudi

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Edizioni Carocci - Riviste

Roma, 2004; br., pp. 202, cm 15,5x22,5.
(Università. 487).

collana: Università.

ISBN: 88-430-2900-2 - EAN13: 9788843029006

Testo in: testo in italiano  

Peso: 0.287 kg


Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.

COMPRA ANCHE



OFFERTE E PROMOZIONI
€ 25.17
€ 26.50 -5%

10 giorni


design e realizzazione: Vincent Wolterbeek / analisi e programmazione: Rocco Barisci

CHIUDI

Annulla Conferma