[email protected] Θα απαντήσουμε εντός 24 ωρών

[email protected]

ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.99 € Box Now 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Categorical Logic and Type Theory

Name: Categorical Logic and Type Theory
Brand: Elsevier Science & Technology
SKU: 04079613
Price: 152.04 EUR
Availability: InStock

B. Jacobs

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετη βιβλιοδεσία

Κωδικός Libristo: 04079613

ΕΕκδοτικός οίκος Elsevier Science & Technology, Μάιος 2001

This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Πλήρης περιγραφή

Κωδικός Libristo: 04079613

381 b

152.04 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 13-18 ημέρες

30 ημέρες για την επιστροφή των προϊόντων

Μπορεί να σας ενδιαφέρει

Higher-Order Logic and Type Theory John L. Bell

/ Χαρτόδετη βιβλιοδεσία

25.21 €

National Electrical Safety Code 2007 Handbook David J Marne

/ Σκληρόδετη βιβλιοδεσία

105.23 €

Completions of Categories Joachim Lambek

/ Χαρτόδετη βιβλιοδεσία

47.11 €

Charles Nicolle, Pasteur's Imperial Missionary Kim Pelis

/ Σκληρόδετη βιβλιοδεσία

140.14 €

America John Kinsella

/ Χαρτόδετη βιβλιοδεσία

10.58 €

Future Medical Engineering Based On Bionanotechnology - Proceedings Of The Final Symposium Of The Tohoku University 21st Century Center Of Excellence Yamaguchi Takami

/ Σκληρόδετη βιβλιοδεσία

473.80 €

A variational theory of convolution- Type functionals Roberto Alicandro

/ Χαρτόδετη βιβλιοδεσία

64.16 €

Torsion Theories, Additive Semantics, and Rings of Quotients Joachim Lambek

/ Χαρτόδετη βιβλιοδεσία

47.11 €

Migration Without Borders Pecoud Antoine

/ Σκληρόδετη βιβλιοδεσία

160.21 €

Temporal Type Theory Patrick Schultz

/ Σκληρόδετη βιβλιοδεσία

149.22 €

Judaism States Its Theology Jacob Neusner

/ Σκληρόδετη βιβλιοδεσία

131.76 €

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Categorical Logic and Type Theory

Συγγραφέας B. Jacobs

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετη βιβλιοδεσία

Ημερομηνία έκδοσης 2001

Αριθμός σελίδων 778

EAN 9780444508539

ISBN 0444508538

Κωδικός Libristo 04079613

ΕΕκδοτικός οίκος Elsevier Science & Technology

Βάρος 1242

Διαστάσεις 167 x 242 x 46

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Mathematics & Science > Mathematics > Geometry > Algebraic geometry

Mathematics & Science > Mathematics > Algebra

Mathematics & Science > Mathematics > Applied mathematics

Mathematics & Science > Science: general issues > Philosophy of science

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Παράδοση

Οδηγός αγορών