Matematična logika

343 rezultatov

  • Ogled izdelka
    Model Theory(2012) KEISLER, H. JEROME,CHANG, C. C.
    This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models constructed from constants, ultraproducts, and saturated and special models. 1990 edition.
    Vezava: Mehka
    43,45 €
  • Ogled izdelka
    Godel's Proof(2008) NAGEL, ERNEST,NEWMAN, JAMES R.
    In 1931 Kurt Godel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. The aut
    Vezava: Mehka
    23,27 €
  • Ogled izdelka
    How to Read and Do Proofs(2013) SOLOW, DANIEL (CASE WESTERN RESERVE UNIVERSITY, OHIO)
    This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs.
    Vezava: Mehka
    123,05 €

Ostali so si ogledali tudi ...