Logica per L'informatica: Dalla logica del prim'ordine all'indecidibilità

Paperback

$24.79 New
Ships from warehouse

Add to Wishlist

ISBN13: 9798252171470
Publisher: Independently Published
Published: Mar 15 2026
Pages: 200
Weight: 0.60
Height: 0.42 Width: 6.00 Depth: 9.00
Language: Italian

Esiste un linguaggio che gira sotto ogni riga di codice, che determina la solidità di ogni architettura e che separa un semplice programmatore da un vero architetto del software. Quel linguaggio è la Logica Computazionale.

Dimentica il codice che funziona per caso e i bug inspiegabili: con decine di esercizi ed esempi pratici, questo libro smonta la complessità dei sistemi formali, traducendo concetti come tautologia, quantificatori e risoluzione in strumenti concreti per ragionare sul tuo codice.

Also from

Brunori, Davide

View All

Reti di Calcolatori e Internet: Dal modello OSI al subnetting

Brunori, Davide

Paperback

$22.27

Azure Fundamentals: Guida alla certificazione base Microsoft Cloud

Brunori, Davide

Paperback

$20.88

Embedded Systems Programming: From Arduino to ESP32 in C++

Brunori, Davide

Paperback

$27.00

Data Science con Python: Guida a Pandas, NumPy e Matplotlib

Brunori, Davide

Paperback

$20.88

Kubernetes per Principianti: Primi passi nelle Infrastrutture Server

Brunori, Davide

Paperback

$20.76

Finanza per Principianti: Gestisci i tuoi soldi, crea un budget e inizia a risparmiare

Brunori, Davide

Paperback

$20.92

Teoria dei Numeri Vol.2: Algebra modulare, Curve ellittiche e Crittografia

Brunori, Davide

Paperback

$20.92

Samurai, Shogun e l'unificazione

Brunori, Davide

Paperback

$20.82

Teoria dei Numeri Vol. 3: Funzioni L e Ipotesi di Riemann

Brunori, Davide

Paperback

$17.89

Also in

Gifts & Stationery General

View All

The Fragile Threads of Power (Threads of Power, Book 1)

V E Schwab

Hardcover

$14.99

Sketch - Kraft

Editors of Chartwell Books

Paperback

$17.09

Adult Jigsaw Puzzle National Galleries Scotland: Robert Burns, the Hunt: 1000-Piece Jigsaw Puzzles

Other

$19.99

Adult Jigsaw Puzzle Nel Whatmore: Up, Up and Away: 1000-Piece Jigsaw Puzzles

Other

$19.99

Gustav Klimt: Fulfilment (Blank Sketch Book)

Other

$19.99

Octavio Ocampo: Colomba (Blank Sketch Book)

Other

$19.99

Go-To Notebook with Mohawk Paper, Midnight Blue Blank: (Blank Notebooks, Simple Notebook, Blue Notebook)

Chronicle Books

Other

$14.99

Ebony Black Artisan Notebook (Flame Tree Journals)

Other

$14.99

Kew Gardens: Marianne North: Honeyflowers and Honeysuckers (Foiled Journal)

Other

$14.99

Chen Chun: Garden Flowers (Foiled Journal)

Other

$14.99

Hokusai: The Great Wave (Blank Sketch Book)

Other

$19.99

3D Bkmk Dolphin

Other

$4.95

Royal Readers Playing Cards

Out of Print

Other

$10.50

Persian Mosaic Journal

Other

$15.99

Rackham: Alice in Wonderland Tea Party (Foiled Journal)

Other

$14.99

Ngs: Samuel Peploe - Pink Roses, Chinese Vase (Foiled Journal)

Other

$14.99

Aimee Stewart: Museum Bookshelves (Foiled Journal)

Other

$14.99

Charles Coleman: Apple Blossoms (Foiled Journal)

Other

$14.99

Patchwork Quilt (Foiled Journal)

Other

$14.99

2027 Cezanne's Terracotta Pots and Flowers MIDI Horizontal Hardcover 18-Month Weekly Planner, 208pg, 80gsm by Paperblanks

Other

$26.95

National Gallery: Bosschaert: A Still Life of Flowers (Foiled Pocket Journal)

Other

$11.99

Tripped: Nazi Germany, Mind Control and the Dawn of the Psychedelic Age

Norman Ohler

Paperback

$10.99

The Lost Carving: A Journey to the Heart of Making

David Esterly

Paperback

$10.99

This Earthly Globe: A Venetian Geographer and the Quest to Map the World

Andrea Di Robilant

Paperback

$10.99

Vincent Van Gogh: Café Terrace (Blank Sketch Book)

Other

$19.99

Vincent Van Gogh: Wheat Field with a Lark (Blank Sketch Book)

Other

$19.99

Usborne Book and Jigsaw in the Forest

Kirsteen Robson

Paperback

$19.95

The Comfort Book

Matt Haig

Paperback

$9.99

Paul Klee: Landscape with Yellow Birds (Blank Sketch Book)

Other

$19.99

Baby Journal: Love. Record. Tresure

Gray, Joanna

Other

$14.99

Orange Artisan Notebook (Flame Tree Journals)

Other

$14.99

Nel Whatmore: A Million Shades (Foiled Journal)

Other

$14.99

Gustav Klimt: Adele Bloch Bauer I (Foiled Blank Journal)

Other

$14.99

Bodleian Libraries: High Jinks Bookshelves (Foiled Blank Journal)

Other

$14.99

The Beast You Are: Stories

Paul Tremblay

Paperback

$10.99

Look Inside a Zoo (Usborne Look Inside)

Minna Lacey

Hardcover

$9.99

Bicentennial Man and Other Stories (Isaac Asimov: The Complete Stories)

Isaac Asimov

Paperback

$9.99

Ring Around Sun and Other Stories (Isaac Asimov: The Complete Stories)

Isaac Asimov

Paperback

$9.99

Relaxing Reads Gift Bag (Large)

Out of Print

Other

$6.25

The Antichrist

Nietzsche, Friedrich Wilhelm

Paperback

$10.19

Where to Find It in the Bible: Topical Index for Quick-And-Easy Reference

Anderson, Ken

Paperback

$18.99

Call of Duty Black Ops Zombies: The Art of Treyarch

Asmus, James

Treyarch

Hardcover

$47.50

Bibliophilia Ephemera Sticker Book (Over 780 Stickers)

Paperback

$12.99

Richard Scarry: Cars and Trucks and Things That Go Mini Tote Bag

Out of Print

Other

$16.99

The Laws Guide to Nature Drawing and Journaling

Laws, John Muir

Paperback

$33.25

Artisan Dragon Journal (Vegan Leather Notebook)

Other

$9.99

Faerie Kingdom Sticker Book (Over 750 Stickers)

Paperback

$12.99

Canvas One Line a Day: A Five-Year Memory Book

Chronicle Books

Other

$18.95

Axolotls Journal (Diary, Notebook)

Other

$12.99

Flow Hive's Book of Bees and Beekeeping: Protect, Enjoy, Harvest

Anderson, Stuart

Anderson, Cedar

Hardcover

$26.59

Book Love Bookmark

Out of Print

Other

$4.25

Richard Scarry: Cars and Trucks and Things That Go Tote Bag

Out of Print

Other

$22.00

Little Golden Books Mini Tote Bag

Out of Print

Other

$16.99

A Book Lover's Sticker Book

Workman Publishing

Hardcover

$14.25

Judgy Fish Sticker Book

Brass Monkey, Brass

Galison

Paperback

$9.00

School Memories a Place for Your Child's Keepsakes

Pi Kids

Hardcover

$16.14

Studio Ghibli(r) Howl's Moving Castle Journal (Castle by the Lake)

Studio Ghibli

Other

$12.95

Luna Moth Journal (Diary, Notebook)

Other

$12.99

Michelin North America Large Format Road Atlas 2027

Michelin Editions

Paperback

$14.20

World of Mushrooms Reusable Shopping Bag

Galison

Other

$5.99

The Man Who Died Seven Times

Nishizawa, Yasuhiko

Paperback

$17.05

Murder at the Black Cat Café

Yokomizo, Seishi

Paperback

$17.05

The Philosopher's Journal (Diary, Notebook)

Other

$10.99

The Clock House Murders

Ayatsuji, Yukito

Paperback

$17.06

The Wild Robot Paperback Boxed Set

Brown, Peter

Paperback

$25.65

Daily Creative: The 5-Minute Habit to Rewire Your Brain

Harris, Blythe

May, Mallory

Hardcover

$18.00

Summerween

Wood, Joss

Paperback

$18.04

The Sticker Book of Curiosities (Over 750 Stickers)

Paperback

$12.99

The Official Pumpkin Spice Café Cookbook: 60 Delicious Dream Harbor Recipes

Gilmore, Laurie

Thomas, Heather

Hardcover

$20.90

Studio Ghibli(r) My Neighbor Totoro Journal (Ocarina Under the Moon): (Hayao Miyazaki Concept Art Notebook, Gift for Studio Ghibli Fan)

Other

$14.95

Halloween Town

Wood, Joss

Paperback

$18.04

Studio Ghibli(r) My Neighbor Totoro 2027 Wall Calendar

Studio Ghibli

Other

$15.99

The Strawberry Patch Pancake House Coloring Book

Gilmore, Laurie

Paperback

$15.19

Brain Games - Sticker by Number: Snoopy (Officially Licensed Peanuts Product)

New Seasons

Brain Games

Publications International Ltd

Paperback

$11.98

Cat

Editors, Phaidon

Hardcover

$44.96

Studio Ghibli(r) My Neighbor Totoro Sketchbook

Other

$19.95

100,000 why Book for Kids Ages 8-12: Amazing Answers to Curious Questions About Science, Space, Animals, the Human Body, Earth, Inventions, and Everyd

Curio, Captain

Paperback

$11.99

Peanuts: A Charlie Brown Christmas Wooden Collectible Set

Schulz, Charles M.

Paperback

$11.35

Being and Nothingness

Sartre, Jean-Paul

Paperback

$23.40

After Dinner Amusements Which

Chronicle Books

Other

$9.95

Library Card (Natural) Tote Bag

Out of Print

Other

$21.99

Christian Art Gifts Journal W/Scripture for Women with God All Things Mathew 19:26 Bible Verse Teal/Roses 192 Ruled Pages, Large Hardcover Notebook, W

Paperback

$9.99

Studio Ghibli(r) My Neighbor Totoro: Totoro Plush Journal

Other

$18.95

After Dinner Amusements: How Well Do You Know Me?: 50 Questions for Family and Friends (Dinner Party Gifts, Games for Adults, Games for Dinner Parties

Chronicle Books

Other

$9.95

The Parables Boxed Set: Parable of the Sower and Parable of the Talents

Butler, Octavia E.

Paperback

$36.10

The Investor's Odyssey: Resisting the Sirens and Playing the Long Game

Mayer, Christopher W.

Hardcover

$23.70

Christian Art Gifts Journal W/Scripture for Women Trust in the Lord Butterfly Proverbs 3:4 Bible Verse Burgundy 192 Ruled Pages, Large Hardcover Noteb

Paperback

$9.99

Sierra Club Engagement Calendar 2027

Other

$19.95

Lego Botanical Playing Cards

Lego

Other

$17.95

World of Eric Carle: The Very Hungry Caterpillar Mini Tote Bag

Out of Print

Other

$18.50

Bear Hugs Notecards: (Cute Notecards, Notecards for Friends, Artistic Notecards with Envelopes)

Chronicle Books

Other

$16.95

Gilded Tree of Life Journal

Other

$14.99

Gilded One Line a Day: A Five-Year Memory Book

Chronicle Books

Other

$16.95

The Baby Dragon Bakery

Qureshi, A. T.

Paperback

From $11.99

Library Card (Yellow) Mini Tote Bag

Out of Print

Other

$17.00

A Book Lover's Garden: A 1000-Piece Jigsaw Puzzle by Michael Kirkham

Other

$24.99

Minecraft Official Blocks Guide

Mojang Ab

Hardcover

$23.74

Brain Games - Sticker by Number: Flowers & Nature Stained Glass (28 Images to Sticker)

New Seasons

Publications International Ltd

Brain Games

Paperback

$16.98

Richard Scarry: On My Way to the Bookstore Bookmark

Out of Print

Other

$4.25

I Love Booooks Bookmark

Out of Print

Other

$4.25

Bookshop Cats

Du Meowier, Daphne

Hardcover

$15.29

The Story of Gumluck and the Portrait Thief: Book 4

Rex, Adam

Hardcover

$14.24

After Dinner Amusements: Charades: 50 Cards with 200 Playful Prompts

Chronicle Books

Other

$9.95

Learning Japanese Hiragana and Katakana: A Workbook for Self-Study

Takagaki, Tetsuo

Henshall, Kenneth G.

Paperback

$13.25

Jane Austen Playing Cards: Rediscover 5 Regency Card Games

Mullan, John

Other

$14.99

3-Color Botanical Cyanotype Kit: Beginner-Friendly Solar Printing Kit for DIY Nature Art

Rafferty, Sarah Bourne

Hardcover

$23.74

Meditations: Complete and Unabridged

Aurelius, Marcus

Paperback

$6.64

Once Upon a Cookbook: A Treasury of Recipes Inspired by Timeless Children's Books

Taylor, Bryton

Hardcover

$22.49

Brain Games - Sticker by Number - Vintage: Animals (28 Images to Sticker)

New Seasons

Brain Games

Publications International Ltd

Paperback

$16.98

Letters to My Daughter: Write Now. Read Later. Treasure Forever.

Redmond, Lea

Other

$16.10

Woodland Journal

Princeton Architectural Press

Other

$19.95

Definitely Not My Passwords Tiny Diary

Brass Monkey, Brass

Galison

Other

$8.00

The Midnight Bookshop

James, Amanda

Paperback

$18.04

Brain Games - Sticker by Number: Gilded Gardens (24 Images to Sticker): Includes 2 Foil Sticker Sheets to Complete Each Image!

Brain Games

Publications International Ltd

New Seasons

Paperback

$19.98

Bee-Bim Bop!

Park, Linda Sue

Paperback

$9.49

Wild Rainbow Color Magic Bath Book

Mudpuppy

Paperback

$11.39

Aspen Forest Journal (Deluxe Binding with Gold Gilded Pages)

Other

$9.99

Studio Ghibli(r) My Neighbor Totoro Pencils

Other

$16.95

Love in the Wild Board Book

Mudpuppy

Hardcover

$9.49

Bird of Paradise Journal

Other

$14.99

After Dinner Amusements: Family Time: 50 Conversation Starters

Chronicle Books

Other

$9.95

Teacher's Lesson Planner

Paperback

$15.99

The Labyrinth House Murders

Ayatsuji, Yukito

Paperback

$18.00

Shell Yeah Sticker Book

Brass Monkey, Brass

Paperback

$9.00

After Dinner Amusements: Mini Mysteries

Chronicle Books, Chronicle

Other

$9.95

Celtic Artisan Bookmark

Other

$4.95

Sunflower Dreams Journal (Diary, Notebook)

Other

$4.99

Judgy Fish Coloring Book

Brass Monkey, Brass

Paperback

$13.50

Owls Artisan Journal (Diary, Notebook)

Other

$12.99

Studio Ghibli(r) My Neighbor Totoro Pop-Up Notecards: (Totoro Products, Studio Ghibli Products, Totoro Art Books)

Other

$18.95

Brain Games - Sticker by Number: Be Calm (28 Images to Sticker)

New Seasons

Brain Games

Publications International Ltd

Paperback

$16.98

Kate & Frida: A Novel of Friendship, Food, and Books

Fay, Kim

Paperback

$17.10

Cottage Garden Journal (Diary, Notebook)

Other

$14.99

The Game of Life and How to Play It

Shinn, Florence Scovel

Hardcover

$34.99

Banksy: The Prints

Coldwell, Paul

Campolucci-Bordi, Roberto

Hardcover

$47.50

The Licanius Trilogy Boxed Set

Islington, James

Paperback

$56.99

The Knitwear Manual: A Complete Guide to Knitwear Design

Fashionary

Hardcover

$37.99

After Dinner Amusements: Truth or Dare for Couples: 50 Questions and Challenges

Chronicle Books

Other

$8.95

The Three Books of Enoch, Plus the Enoch Portions of the Book of Jasher

Ben Elisha, Ishmael

Paperback

$13.14

Pet Sematary Bookmark

Out of Print

Other

$4.25

Studio Ghibli: The Complete Works: Second Edition

Studio Ghibli

Hardcover

$41.75

Studio Ghibli(r) My Neighbor Totoro: Cat Bus Plush Journal

Other

$18.95

The Game of Life and How to Play It: The Complete Original Edition

Shinn, Florence Scovel

Paperback

$11.40

Salty Birds Coloring Book

Brass Monkey, Brass

Paperback

$13.50

Letters to the Graduate: Write Now. Read Later. Treasure Forever.

Redmond, Lea

Other

$16.10

Pride and Prejudice Bookmark

Out of Print

Other

$4.25

Orange Fairy Journal (Diary, Notebook)

Other

$14.99

Sierra Club Wilderness Calendar 2027

Other

$18.95

Marimekko One Line a Day (Red Unikko): A Five-Year Memory Book

Marimekko

Other

$19.95

Book Club Bar: Literary-Inspired Drink Recipes for Your Next Great Read

Neary, Erin

Esten, Nat

Hardcover

$22.50

Divide and Rule: Royal Women and Their Battles

Mayer, Catherine

Hardcover

$28.50

The Roman Empire the Empire of the Edomite

Beeston, William

Paperback

$9.49

Main Street Books 1000 Piece Puzzle

Galison, Galison

Other

$19.99

Tesla & The Cabbage Patch Kids: Exploring the lost Empire of Tartaria and the Reset of 1776

Anderson, Guy Peter

Paperback

$23.99

Open for Blossoms Reusable Shopping Bag

Galison

Paperback

$5.69

Rainbow One Line a Day: A Five-Year Memory Book

Khalidy, Kindah

Other

$16.95

Bibliophile Notes: 20 Different Notecards & Envelopes (Notecards for Book Lovers, Illustrated Notecards, Stationery) [With Envelope]

Mount, Jane

Other

$15.95

Rebecca Yarros's Fourth Wing: I Survived Threshing Stickers - Sticker Set of 4

Out of Print

Paperback

$12.00

Lego Ninjago 500-Piece Puzzle

Lego

Other

$19.95

The Summa Theologica of St. Thomas Aquinas

Aquinas, Thomas

Paperback

$44.99

The World of Agatha Christie: And Then There Were None a 1000-Piece Jigsaw Puzzle: Illustrated by Ruby Ash

Agatha Christie Ltd, Agatha Christie

Other

$23.99

It Bookmark

Out of Print

Other

$4.25

Journal Lucky Cat (Maneki Neko), Lined Paperback: Blank Lined 144 Page A5 Notebook

Paperback

$9.49

Celestial Jotter Notebooks (3 Pack)

Other

$8.99

After Dinner Amusements Do You

Chronicle Books

Other

$9.95

What to Draw and How to Draw It

Lutz, E. G.

Paperback

$12.30

Fucking Brilliant Pencils

Calligraphuck

Other

$15.95

Future Blackmail Tiny Diary

Brass Monkey, Brass

Other

$8.00

Pete the Cat Tote Bag

Out of Print

Other

$22.00

The Tao of Fully Feeling: Harvesting Forgiveness out of Blame

Walker, Pete

Paperback

$19.50

Brain Games - Sticker by Number: Cozy Capybaras: Includes a Foil Sticker Sheet to Complete Each Image!

New Seasons

Brain Games

Publications International Ltd

Paperback

$11.98

Cross My Heart

Patel, Esha

Paperback

$18.04

Brain Games - Sticker by Number: Enchanted Wonders (36 Images to Sticker): Includes Foil Stickers!

New Seasons

Brain Games

Publications International Ltd

Paperback

$22.98

A Visit to Brambly Hedge: Imagining the World Within the Hedgerow

Fior, Jane

Barklem, Jill

Hardcover

$21.84

Orpheus Builds a Girl

Parry, Heather

Paperback

$16.16

Faith Sprout The 66 Roots Journey: Understand Every Book of the Bible Without Getting Lost

Ross, John

Paperback

$20.39

Gilded Antique Journal (Diary, Notebook)

Other

$14.99

Let's Summon Demons: A Creepy Coloring and Activity Book

Rhodes, Steven

Paperback

$11.66

Marimekko Colored Pencils (Unikko): 10 Colored Pencils

Marimekko

Other

$18.95

Peter Rabbit Pattern Tote Bag

Out of Print

Other

$21.99

Jane Austen's Fashion Bible

Hardcover

$23.74

Christian Art Gifts Pink Vegan Leather Zipped Journal, Inspirational Women's Notebook Trust in the Lord Scripture, Flexible Cover, 336 Ruled Pages, Ri

Hardcover

$19.99

Stamp Bugs: 25 Stamps and 2 Ink Pads

Dziadosz, Barbara

Other

$26.95

Paddington Bear Tote Bag

Out of Print

Other

$21.99

Brain Games - Search and Sticker: Animals (for Kids Ages 3-6)

Little Grasshopper Books

Publications International Ltd

Paperback

$9.48

Grumpy Monkey Bookmark

Out of Print

Other

$4.25

The Last Page Cafe

Storey, Kate

Paperback

$18.04

Catdalf Journal (Diary, Notebook)

Other

$12.99

The Mothman Prophecies: A True Story

Keel, John A.

Paperback

$18.04

Black Lab Metal 'Hanging' Bookmark (Book Hugger Series)

Other

$9.99

Francis Bacon: Paintings: The Complete Collection

Hardcover

$49.50

Japanese Hiragana & Katakana for Beginners: First Steps to Mastering the Japanese Writing System (Includes Online Media: Flash Cards, Writing Practice

Stout, Timothy G.

Paperback

$14.20

Brown Artisan Locking Journal (Diary, Notebook)

Other

$19.99

Classic Horror Movies Coloring Book

Diseño, Ricardo

Paperback

$14.20

Tree of Dreams Note Cards

Other

$10.99

Financial Math Reproducible Book 1

Stckvagn

Paperback

$17.49

The Greek Kitchen

Alexiadou, Vefa

Hardcover

$26.96

The Garden Book: Mini Format

Editors, Phaidon

Hardcover

$17.96

Brain Games - To Go - 3-In-1: Word Search, Sudoku, Crosswords

Publications International Ltd

Brain Games

Paperback

$9.48

The Black Swan Mystery

Ayukawa, Tetsuya

Paperback

$18.00