Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logicism Renewed

Name: Logicism Renewed
Brand: Taylor & Francis Inc
SKU: 06703415
Price: 173.79 EUR
Availability: PreOrder
Author: Paul C. Gilmore
ISBN: 9781568812755

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

Paul C. Gilmore

Lingua

Inglese

Libro Rigido

Codice Libristo: 06703415

Casa editrice Taylor & Francis Inc, novembre 2005

Revisits the original concept of logicism in the light of advances in mathematical logic. Using Inte... Descrizione completa

Codice Libristo: 06703415

425 b

In preparazione

173.79 €

In attesa di ristampa

Termine sconosciuto

30 giorni per il reso

I clienti hanno acquistato anche

Stralsund an einem Tag Michael Schulze

In brossura

6.99 €

ledzenie wzroku za pomoc kamery internetowej Szymon Deja

In brossura

52.39 €

Mitarbeiterkontrolle M. Reiner

In brossura

9.59 €

Československé správní právo Jiří Hoetzel

Rigido

56.79 €

Flergenerations guidade dagbok foer foeraldrar Amber Richards

In brossura

11.59 €

EPISTOLARI CALDERS-TISNER GALERA

In brossura

21.19 €

LE DESHONNEUR DES SAINTE-CROIX BONNET

In brossura

15.39 €

Skyfire Academy - Der Herzschlag eines Dämons Jenny Pieper

Rigido

26.79 €

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.