Logika wyższego rzędu i teoria typów

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 7 głosach.

Oryginalny tytuł:

Higher-Order Logic and Type Theory

Zawartość książki:

Omówienie logiki drugiego i wyższego rzędu oraz teorii typów.

Zawiera składnię i semantykę klasycznej logiki drugiego rzędu oraz omówienie logiki wyższego rzędu opartej na pojęciu typu. Omówiono również pochodzenie i naturę teorii typów, jej związek z teorią zbiorów oraz opisy współczesnych form teorii typów.