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

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

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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Mathematical Logic

Name: Mathematical Logic
Brand: Springer Nature Switzerland AG
SKU: 39203108
Price: 50.58 EUR
Availability: InStock
Author: Heinz-Dieter Ebbinghaus
ISBN: 9783030738419

Heinz-Dieter Ebbinghaus

Jörg Flum

Wolfgang Thomas

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 39203108

ΕΕκδοτικός οίκος Springer Nature Switzerland AG, Μάιος 2022

This introduction to first-order logic clearly works out the role of first-order logic in the founda... Πλήρης περιγραφή

Κωδικός Libristo: 39203108

122 b

50.58 €

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

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

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

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

Science Of Logic Georg Hegel

Χαρτόδετο

10.41 €

Arabische Kalligraphie, Naskh-Schrift, Übungsheft 1 Mohamed Abdel Aziz

Λίστα

21.14 €

MEW / Marx-Engels-Werke Band 23. Bd.1 Karl Marx

Σκληρόδετο

22.35 €

dtv-Atlas Akupunktur Carl-Hermann Hempen

Χαρτόδετο

18.00 €

Chancen und Risiken des entwicklungsorientierten Managements am Beispiel der stationaren Altenhilfe N. Funk

Χαρτόδετο

42.79 €

JIMMY FOX 2 POR FIN VACACIONES SALVESE QUIEN PUEDA STERNBAUM

Χαρτόδετο

15.17 €

Dinamismo Cultural no Rio de Janeiro Setecentista Lia Sipaúba Proença Brusadin

Χαρτόδετο

29.43 €

Chat GPT Évolution Personnelle

Σκληρόδετο

28.52 €

Verlassen, vereinsamt, verstorben. Gahmurets Abschiede von Belakane und Herzeloyde im Parzival Wolframs von Eschenbach Florian Leiffheidt

Χαρτόδετο

14.46 €

Suomen mestari 1. Словарик финско-немецкий Sonja Gehring

Σκληρόδετο

30.44 €

Drei einzige Toechter Berthold Auerbach

Σκληρόδετο

15.27 €

Questa non è la fine Chandler Baker

Σκληρόδετο

27.11 €

Handbuch der Kinderkrankheiten Carl Christian Jacob Gerhardt

Χαρτόδετο

35.71 €

Training Tables for Students of Russian

Χαρτόδετο

11.12 €

La petite bibliotheque de Barbapapa Annette Tison

Σκληρόδετο

6.77 €

Amas de Cristal de Roche - Qualité A/B - Lot de 5 Kg

binding.

245.85 €

Philosophiae Naturalis Principia Mathematica (Latin,1687) Newton Isaac Newton

Σκληρόδετο

33.28 €

These. Notion Des Sacrifices Dans l'Ancien Testament. Universite de France. Academie de Paris SESTON-E

Χαρτόδετο

17.29 €

Seven Deadly Sins 25 Nakaba Suzuki

Χαρτόδετο

7.07 €

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

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

EWA KASP για

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

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

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

Πλήρες όνομα Mathematical Logic

Συγγραφέας Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

Γλώσσα

Αγγλική

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

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

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

EAN 9783030738419

Κωδικός Libristo 39203108

ΕΕκδοτικός οίκος Springer Nature Switzerland AG

Βάρος 486

Διαστάσεις 155 x 235 x 18

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

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

Είναι εύκολο

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