Logic for Computer Science 1
bokomslag Logic for Computer Science
Data & IT

Logic for Computer Science

Jean Gallier

Pocket

469:-

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

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 544 sidor
  • 2015
Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition.

  • Författare: Jean Gallier
  • Format: Pocket/Paperback
  • ISBN: 9780486780825
  • Språk: Engelska
  • Antal sidor: 544
  • Utgivningsdatum: 2015-06-26
  • Förlag: Dover Publications Inc.

Du kanske gillar

  1. bokomslag Differential Geometry and Lie Groups

    Differential Geometry and Lie Groups

    Jocelyn Quaintance Jean Gallier

    Pocket

    839:-
  2. bokomslag Differential Geometry and Lie Groups

    Differential Geometry and Lie Groups

    Jocelyn Quaintance Jean Gallier

    Inbunden

    1099:-
  3. bokomslag A Guide to the Classification Theorem for Compact Surfaces

    A Guide to the Classification Theorem...

    Dianna Xu Jean Gallier

    Pocket

    719:-
  4. bokomslag Geometric Methods and Applications

    Geometric Methods and Applications

    Jean Gallier

    Inbunden

    1649:-
  5. bokomslag Differential Geometry and Lie Groups

    Differential Geometry and Lie Groups

    Jocelyn Quaintance Jean Gallier

    Pocket

    839:-
  6. bokomslag Geometric Methods and Applications

    Geometric Methods and Applications

    Jean Gallier

    Pocket

    1209:-
  7. bokomslag A Guide to the Classification Theorem for Compact Surfaces

    A Guide to the Classification Theorem...

    Dianna Xu Jean Gallier

    Inbunden

    989:-
  8. bokomslag Discrete Mathematics

    Discrete Mathematics

    Jean Gallier

    Pocket

    1089:-
  9. bokomslag Differential Geometry and Lie Groups

    Differential Geometry and Lie Groups

    Jocelyn Quaintance Jean Gallier

    Inbunden

    1139:-
  10. bokomslag Le Double Rendez-Vous Nocturne Ou Le Triomphe Du Sentiment. Partie 1

    Le Double Rendez-Vous Nocturne Ou Le ...

    Jean Galli De Bibiena

    Pocket

    329:-

Andra av samma författare

  1. bokomslag Discrete Mathematics

    Discrete Mathematics

    Jean Gallier

    Pocket

    1089:-
  2. bokomslag Geometric Methods and Applications

    Geometric Methods and Applications

    Jean Gallier

    Inbunden

    1649:-
  3. bokomslag Geometric Methods and Applications

    Geometric Methods and Applications

    Jean Gallier

    Pocket

    1209:-
  4. bokomslag Differential Geometry and Lie Groups

    Differential Geometry and Lie Groups

    Jocelyn Quaintance Jean Gallier

    Inbunden

    1099:-
  5. bokomslag Differential Geometry and Lie Groups

    Differential Geometry and Lie Groups

    Jocelyn Quaintance Jean Gallier

    Pocket

    839:-
  6. bokomslag Differential Geometry and Lie Groups

    Differential Geometry and Lie Groups

    Jocelyn Quaintance Jean Gallier

    Inbunden

    1139:-
  7. bokomslag Differential Geometry and Lie Groups

    Differential Geometry and Lie Groups

    Jocelyn Quaintance Jean Gallier

    Pocket

    839:-
  8. bokomslag A Guide to the Classification Theorem for Compact Surfaces

    A Guide to the Classification Theorem...

    Dianna Xu Jean Gallier

    Inbunden

    989:-
  9. bokomslag A Guide to the Classification Theorem for Compact Surfaces

    A Guide to the Classification Theorem...

    Dianna Xu Jean Gallier

    Pocket

    719:-