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

René Cori, Daniel Lascar, Donald Pelletier
عام:
2001
اللغة:
english
ملف:
DJVU, 5.41 MB
0 / 0
english, 2001
4
La théorie des modèles en peu de maux

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

Daniel Lascar
عام:
2009
اللغة:
french
ملف:
PDF, 24.92 MB
0 / 0
french, 2009
7
La théorie des modèles en peu de maux

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

Lascar, Daniel
عام:
2009
اللغة:
french
ملف:
DJVU, 3.76 MB
0 / 0
french, 2009
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

Jesus M. Larrazabal, Daniel Lascar, Grigori Mints
عام:
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

Jesús M. Larrazabal, Daniel Lascar, Grigori Mints (eds.)
عام:
1998
اللغة:
english
ملف:
PDF, 7.25 MB
0 / 0
english, 1998
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

Rene Cori, Daniel Lascar, Donald H. Pelletier
عام:
2001
اللغة:
english
ملف:
PDF, 29.96 MB
5.0 / 5.0
english, 2001