René Cori – författare
Visar alla böcker från författaren René Cori. Handla med fri frakt och snabb leverans.
9 produkter
Mathematical Logic: Part 1
Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Häftad, 2000
1481 kr
Lägg i varukorg
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a …
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Inbunden, 2000
3589 kr
Lägg i varukorg
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a …
Mathematical Logic: Part 2
Recursion Theory, Godel's Theorems, Set Theory, Model Theory
Häftad, 2001
1898 kr
Lägg i varukorg
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science. This text is based on a course to undergraduates and …
Mathematical Logic: Part 2
Recursion Theory, Godel's Theorems, Set Theory, Model Theory
Inbunden, 2001
3452 kr
Lägg i varukorg
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. It is a major element in theoretical computer science and has undergone a huge revival with the every- growing importance of computer science. This text is based on a course to undergraduates and …
Logic Colloquium 2000 (hardcover)
Lecture Notes in Logic, 19
Av Carol Wood, Stevo Todorcevic m. fl.
E-bok, 2005
864 kr
Lägg i varukorg
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert''s famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special …
Logic Colloquium 2000
Av Carol Wood, Stevo Todorcevic m. fl.
E-bok
1263 kr
Lägg i varukorg
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the nineteenth publication in the …
Logic Colloquium 2000 (hardcover)
Lecture Notes in Logic, 19
Av Carol Wood, Stevo Todorcevic m. fl.
E-bok, 2005
864 kr
Lägg i varukorg
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert''s famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special …
Logic Colloquium 2000 (hardcover)
Lecture Notes in Logic, 19
Av Rene Cori, Alexander Razborov m. fl.
Inbunden, 2005
1517 kr
Lägg i varukorg
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special …
Logic Colloquium 2000 (hardcover)
Lecture Notes in Logic, 19
Av Rene Cori, Alexander Razborov m. fl.
Häftad, 2005
747 kr
Lägg i varukorg
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special …
