Logica di ordine superiore e teoria dei tipi

Recensioni dei lettori

Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 7 voti.

Titolo originale:

Higher-Order Logic and Type Theory

Contenuto del libro:

Un'esposizione della logica del secondo ordine e dell'ordine superiore e della teoria dei tipi.

Include la sintassi e la semantica della logica classica del secondo ordine e una discussione della logica del ordine superiore basata sul concetto di tipo. Vengono inoltre analizzate le origini e la natura della teoria dei tipi, la sua relazione con la teoria degli insiemi e le descrizioni delle forme contemporanee di teoria dei tipi.