Logica: Metodo Breve 1
bokomslag Logica: Metodo Breve
Data & IT

Logica: Metodo Breve

Daniele Mundici

Pocket

409:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 126 sidor
  • 2011
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gdel, Lwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi.
  • Författare: Daniele Mundici
  • Format: Pocket/Paperback
  • ISBN: 9788847018839
  • Språk: Engelska
  • Antal sidor: 126
  • Utgivningsdatum: 2011-02-10
  • Förlag: Springer Verlag

Du kanske gillar

  1. bokomslag Logic: a Brief Course

    Logic: a Brief Course

    Daniele Mundici

    Pocket

    1009:-
  2. bokomslag Advanced ukasiewicz calculus and MV-algebras

    Advanced ukasiewicz calculus and MV-a...

    D Mundici

    Pocket

    1439:-
  3. Kuvert C5 100st

    Kuvert C5 100st

    Kuvert, Kollektion Stora A

    119:-
  4. Kommande
    bokomslag Carol Rama: Catalogue Raisonn

    Carol Rama: Catalogue Raisonn

    Maria Cristina Mundici, Raffaella Roddolo, Maria Grazia Messina

    Inbunden

    4289:-
  5. bokomslag De fenomenala fruntimren på Grand Hôtel

    De fenomenala fruntimren på Grand Hôtel

    Ruth Kvarnström-Jones

    Pocket

    119:-
  6. Ny
    bokomslag Födelsedagen

    Födelsedagen

    Sofie Sarenbrant • Carina Bergfeldt

    Pocket

    69:- (119:-)
  7. bokomslag Lektioner i kemi

    Lektioner i kemi

    Bonnie Garmus

    Pocket

    119:-
  8. bokomslag Advanced ukasiewicz calculus and MV-algebras

    Advanced ukasiewicz calculus and MV-a...

    D Mundici

    Inbunden

    2239:-
  9. Ny
    bokomslag Femte kollusionen

    Femte kollusionen

    Denise Rudberg

    Inbunden

    259:- (299:-)
  10. bokomslag Min lyckliga plats

    Min lyckliga plats

    Emily Henry

    Pocket

    69:- (110:-)

Andra av samma författare

  1. bokomslag Logic and Scientific Methods

    Logic and Scientific Methods

    Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem

    Inbunden

    3869:-
  2. bokomslag Structures and Norms in Science

    Structures and Norms in Science

    Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem

    Inbunden

    3969:-
  3. bokomslag Algebraic Foundations of Many-Valued Reasoning

    Algebraic Foundations of Many-Valued ...

    R L Cignoli, Itala M D'Ottaviano, Daniele Mundici

    Inbunden

    1999:-
  4. bokomslag Computational Logic and Proof Theory

    Computational Logic and Proof Theory

    Georg Gottlob, Alexander Leitsch, Daniele Mundici

    Pocket

    979:-
  5. bokomslag Theorem Proving with Analytic Tableaux and Related Methods

    Theorem Proving with Analytic Tableau...

    Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

    Pocket

    979:-
  6. bokomslag Computational Logic and Proof Theory

    Computational Logic and Proof Theory

    Georg Gottlob, Alexander Leitsch, Daniele Mundici

    Pocket

    979:-
  7. bokomslag Logic: a Brief Course

    Logic: a Brief Course

    Daniele Mundici

    Pocket

    1009:-
  8. bokomslag Logic and Scientific Methods

    Logic and Scientific Methods

    Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem

    Pocket

    3869:-
  9. bokomslag Structures and Norms in Science

    Structures and Norms in Science

    Maria Luisa Dalla Chiara, Kees Doets, Daniele Mundici, Johan Van Benthem

    Pocket

    3869:-
  10. bokomslag Algebraic Foundations of Many-Valued Reasoning

    Algebraic Foundations of Many-Valued ...

    R L Cignoli, Itala M D'Ottaviano, Daniele Mundici

    Pocket

    1939:-