Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

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

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

Βοήθεια

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

▸ Άδειο :-(

Categorical Logic and Type Theory

Name: Categorical Logic and Type Theory
Brand: Elsevier Science & Technology
SKU: 04079613
Price: 143.24 EUR
Availability: InStock
Author: B. Jacobs
ISBN: 9780444508539

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

346 b

143.24 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 14-21 ημέρες

Παράδοση στην Ελλάδα

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

Οι πελάτες αγόρασαν επίσης

Boskovice v historických fotografiích a pohlednicích Vladimír Filip

Λίστα

12.47 €

Rajz 10 lépésben - Állatok Heather Kilgour

Σκληρόδετο

12.27 €

Mis primeras 100 palabras EDWARD UNDERWOOD

Χαρτόδετο

13.69 €

HORROR TINY TAROT DECK & GDBK GMITTER ARIA Έντυπα

Κάρτες

15.82 €

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.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

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

Πλήρες όνομα 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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

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

Categories for Types Crole

Χαρτόδετο

100.63 €

Foundations of Mathematics Kenneth Kunen

Χαρτόδετο

29.41 €

Set Theory Kenneth Kunen

Χαρτόδετο

28.70 €

Completions of Categories Joachim Lambek

Χαρτόδετο

25.96 €

Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone

Σκληρόδετο

501.56 €

Set Theory Thomas Jech

Σκληρόδετο

206.34 €

Set Theory Thomas Jech

Χαρτόδετο

206.34 €

Set Theory An Introduction To Independence Proofs Kenneth Kunen

Σκληρόδετο

80.44 €

Real World Haskell Bryan O´Sullivan

Χαρτόδετο

53.76 €

Master Dogen's Zazen Meditation Handbook Eihei Dogen

Σκληρόδετο

14.50 €

Sixty for Sax Alan Bullard

Νότες

9.42 €

The Story of Atlantis & The Lost Lemuria William Scott-Elliot

Χαρτόδετο

8.00 €

Higher-Order Logic and Type Theory John L. Bell

Χαρτόδετο

27.58 €

Basketball: The 9 Essential Game Skills Dre Baldwin

Χαρτόδετο

20.38 €

Advances in Applications of Industrial Biomaterials Eva Pellicer

Χαρτόδετο

103.27 €

Platform for Change Analogique

Σκληρόδετο

61.67 €

An Introduction to Design Criteria for Aircraft Maintenance Hangars J. Paul Guyer

Χαρτόδετο

28.90 €

Rise of Radio Astronomy in the Netherlands Astrid Elbers

Χαρτόδετο

92.92 €

Dark Psychology and Manipulation: This book helps to discover the secrets and techniques in Dark Psychology and daily used techniques to control mind. Sarah Fergie

Χαρτόδετο

8.92 €