Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory - Chad E. Brown - cover
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory - Chad E. Brown - cover
Dati e Statistiche
Wishlist Salvato in 0 liste dei desideri
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory
Disponibile in 2 settimane
47,00 €
47,00 €
Disp. in 2 settimane
Chiudi
Altri venditori
Prezzo e spese di spedizione
ibs
47,00 € Spedizione gratuita
disponibile in 2 settimane disponibile in 2 settimane
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
ibs
47,00 € Spedizione gratuita
disponibile in 2 settimane disponibile in 2 settimane
Info
Nuovo
Altri venditori
Prezzo e spese di spedizione
Chiudi

Tutti i formati ed edizioni

Chiudi
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory - Chad E. Brown - cover
Chiudi

Promo attive (0)

Dettagli

2007
Paperback / softback
564 p.
Testo in English
234 x 156 mm
781 gr.
9781904987574
Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore