Kniha Logicism Renewed Paul C. Gilmore

Logicism Renewed

Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Jazyk: Angličtina
Väzba: Pevná
Vydavateľ: Taylor & Francis Inc
Dostupnosť: Čaká sa dotlač
Termín neznámy
162.69
Revisits the original concept of logicism in the light of advances in mathematical logic. Using Inte...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Pevná
Vydalo
2005
Stránok
250
EAN
9781568812755
ISBN
9781568812755
Enbook ID
06703415
Hmotnosť
499
Rozmery
152 x 229

Kompletný popis

Revisits the original concept of logicism in the light of advances in mathematical logic. Using Intensional Type Theory (ITT), this book provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that provided by category theory.

Mohlo by vás zaujímať

Babel

Zygmunt Bauman
19.06

Pippin (Vocal Score)

Stephen Schwartz
108.72

New York Cocktails

Cider Mill Press
16.31

Date With Destiny

Carolyn J. Pollack
9.13

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Stralsund an einem Tag

Michael Schulze
6.58
8.84
45.96