Książka Logicism Renewed Paul C. Gilmore

Logicism Renewed

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

Język: Angielski
Oprawa: Twarda
Dostępność: Dodruk
Termin nieznany
690.58
Revisits the original concept of logicism in the light of advances in mathematical logic. Using Inte...

Informacje o książce

Język
Angielski
Oprawa
Książka - Twarda
Data wydania
2005
strony
250
EAN
9781568812755
ISBN
9781568812755
Enbook ID
06703415
Waga
499
Wymiary
152 x 229

Pełny opis

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.

Możesz być zainteresowany

Babel

Zygmunt Bauman
85.35

Pippin (Vocal Score)

Stephen Schwartz
461.65

New York Cocktails

Cider Mill Press
74.02

Date With Destiny

Carolyn J. Pollack
40.91

Klienci, którzy kupili tę książkę, kupili również

Stralsund an einem Tag

Michael Schulze
27.92
37.69
214.07