Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- 511 <061.3> --- 512 <061.3> --- Number theory--?<061.3> --- Algebra--?<061.3> --- Model theory --- Congresses. --- 512 <061.3> Algebra--?<061.3> --- 511 <061.3> Number theory--?<061.3> --- Logic, Symbolic and mathematical --- Logique mathématique --- Théorie des modèles --- Logique mathématique. --- Théorie des modèles.