2
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Έτος:
2001
Γλώσσα:
english
Αρχείο:
DJVU, 5.41 MB
0 / 0
english, 2001
3
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Έτος:
2000
Γλώσσα:
english
Αρχείο:
PDF, 8.01 MB
0 / 0
english, 2000
4
La théorie des modèles en peu de maux

La théorie des modèles en peu de maux

Έτος:
2009
Γλώσσα:
french
Αρχείο:
PDF, 24.92 MB
0 / 0
french, 2009
5
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Έτος:
2000
Γλώσσα:
english
Αρχείο:
DJVU, 5.28 MB
0 / 0
english, 2000
7
La théorie des modèles en peu de maux

La théorie des modèles en peu de maux

Έτος:
2009
Γλώσσα:
french
Αρχείο:
DJVU, 3.76 MB
0 / 0
french, 2009
8
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Έτος:
2000
Γλώσσα:
english
Αρχείο:
DJVU, 3.95 MB
0 / 0
english, 2000
9
Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Έτος:
1998
Γλώσσα:
english
Αρχείο:
DJVU, 1.97 MB
0 / 0
english, 1998
10
Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Logic Colloquium’ 96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996

Έτος:
1998
Γλώσσα:
english
Αρχείο:
PDF, 7.25 MB
0 / 0
english, 1998
11
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Έτος:
2002
Γλώσσα:
english
Αρχείο:
PDF, 12.15 MB
5.0 / 5.0
english, 2002
12
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel’s Theorems, Set Theory, Model Theory

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel’s Theorems, Set Theory, Model Theory

Έτος:
2001
Γλώσσα:
english
Αρχείο:
PDF, 29.96 MB
5.0 / 5.0
english, 2001