logo blia.it
dal 2005 servizi gratuiti,
giochi e tanto altro
Numeri casuali Abi/Cab Verifica IBAN Stradario Countdown Anagrammi

Ricerca libri

Copertina libro

Logica matematica per l'informatica
(titolo originale o altro titolo: Mathematical logic for computer science)

Autori / autriciMordechai Ben-Ari
e Anna Labella (cura)
EditorePrentice hall international
Anno1998
ISBN978-88-7750-543-9
Biblioteche
dove trovarlo
Servizio Bibliotecario Nazionale, Polo Bolognese, BNCF, Biblioest
Dove comprarloFeltrinelli, Unilibro, IBS (Librerie: Fernandez, Libr'Aria, Coletti, Dante Alighieri)
Catalogazione:
Logica matematica Informatica Logica simbolica (logica matematica)
Descrizione fisicaXIX, 309 p. ; 24 cm
Note:
Trad. di Uliano Paolozzi Balestrini.
Collezione o collanaMatematica
(fonte OpenData: ICCU - Istituto Centrale per il Catalogo Unico delle Biblioteche Italiane)




Cinque libri a caso:

Copertina libro
Lo scoiattolo che amava il blu
(titolo originale o altro titolo: L'écureuil qui aimait le bleu)
(2025)
di Eve Gomy
e Giulia Calandra Buonaura (traduzione)

Copertina libro
Sacre sinfonie
(2025)
di Fabio Zuffanti

Copertina libro
Il libro perduto di Monster Allergy
(2024)
di Barbara Canepa (illustrazioni)
e Alessandro Barbucci (illustrazioni)
e Francesco Artibani (illustrazioni)
e Katja Centomo

Copertina libro
Oscar e io
(titolo originale o altro titolo: Oskar og eg)
(2024)
di Maria Parr
e Alice Tonzig (traduzione)
e Åshild Irgens (illustrazioni)

Copertina libro
Per una geografia fisica della letteratura di lingua tedesca
(2025)
di Amelia Valtolina (cura)
e Francesco Fiorentino (cura)
e Camilla Miglio (cura)