Carte Logicism Renewed Paul C. Gilmore

Logicism Renewed

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

Limbă: engleză
Legare: Copertă tare
Disponibilitate: Retipărire preconizată
Termenul este necunoscut
893.74 lei
Revisits the original concept of logicism in the light of advances in mathematical logic. Using Inte...

Informații despre carte

Limbă
engleză
Legare
Carte - Copertă tare
Publicat
2005
Pagini
250
EAN
9781568812755
ISBN
9781568812755
Enbook ID
06703415
Greutate
499
Dimensiuni
152 x 229

Descriere completă

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.

S-ar putea să te intereseze

Babel

Zygmunt Bauman
105.22 lei

Pippin (Vocal Score)

Stephen Schwartz
568.89 lei

New York Cocktails

Cider Mill Press
97.04 lei

Date With Destiny

Carolyn J. Pollack
52.96 lei

Clienții care au cumpărat această carte au mai cumpărat și

Stralsund an einem Tag

Michael Schulze
36.11 lei
49.12 lei
277.73 lei
108.85 lei