art and architecture bookstore
italiano

email/login

password

remember me on this computer

send


Forgot your password?
Insert your email/login here and receive it at the given email address.

send

chiudi

ricerca avanzata

chiudi

DEAL OF THE DAY

Felice Palma. Massa 1583-1625. Collezione / Collection.

Texts by Claudio Casini, Andrei Cristina, Ciarlo Nicola, Federici Fabrizio and Sara Ragni.
Italian and English Text.
Pontedera, 2024; bound in a case, pp. 289, b/w and col. ill., b/w and col. plates, cm 24,5x34.
(L'Oro Bianco. Straordinari Dimenticati. The White Gold Forgotten Masters).

cover price: € 160.00

Felice Palma. Massa 1583-1625. Collezione / Collection.

Total price: € 160.00 € 314.49 add to cart carrello

Books included in the offer:

Felice Palma. Massa 1583-1625. Collezione / Collection.

Texts by Claudio Casini, Andrei Cristina, Ciarlo Nicola, Federici Fabrizio and Sara Ragni.
Italian and English Text.
Pontedera, 2024; bound in a case, pp. 289, b/w and col. ill., b/w and col. plates, cm 24,5x34.
(L'Oro Bianco. Straordinari Dimenticati. The White Gold Forgotten Masters).

FREE (cover price: € 160.00)

Felice Palma. Massa 1583-1625. Collezione / Collection.

Le botteghe del marmo

Italian and English Text.
Ospedaletto, 1992; bound, pp. 153, 10 b/w ill., 60 col. ill., cm 24x29.
(Immagine).

FREE (cover price: € 34.49)

Le botteghe del marmo

Museo Stefano Bardini. I Bronzetti e gli Oggetti d'Uso in Bronzo

Edited by Nesi A.
Firenze, 2009; paperback, pp. 191, 102 b/w ill., 7 col. ill., cm 17x24,5.
(Museo Stefano Bardini).

FREE (cover price: € 30.00)

Museo Stefano Bardini. I Bronzetti e gli Oggetti d'Uso in Bronzo

Bronzetti e Rilievi dal XV al XVIII Secolo

Bologna, 2015; 2 vols., bound in a case, pp. 729, ill., col. plates, cm 21,5x30,5.

FREE (cover price: € 90.00)

Bronzetti e Rilievi dal XV al XVIII Secolo

chiudi

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Edizioni Carocci - Riviste

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

series: Università

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

Languages: italian text  

Weight: 0.26 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.

YOU CAN ALSO BUY



SPECIAL OFFERS AND BESTSELLERS

Atelier

€ 19.00 (€ 20.00- 5%)

Scarabocchi di emozioni

€ 12.35 (€ 13.00- 5%)

€ 25.17
€ 26.50 -5%

10 days


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

CLOSE

Cancel Confirm