Jump to main content

yr 〜
yr

Search results 11

Recursion theory, Gödel's theorems, set theory, model theory : hbk : pbk

Recursion theory, Gödel's theorems, set theory, model theory : hbk : pbk
Paper図書
René Cori and Daniel Lascar ; translated by Donald H. PelletierOxford University Press2001
Other Libraries in Japan
  • Author HeadingCori, René Lascar, D. (Daniel)

Mathematical logic : a course with exercises

Mathematical logic : a course with exercises
Paper図書
René Cori and Daniel Lascar ; translated by Donald H. PelletierOxford University Press2000-
Other Libraries in Japan
  • Author HeadingCori, René Lascar, D. (Daniel)

Propositional calculus, Boolean algebras, predicate calculus : hbk : pbk

Propositional calculus, Boolean algebras, predicate calculus : hbk : pbk
Paper図書
René Cori and Daniel Lascar ; translated by Donald H. PelletierOxford University Press2000
Other Libraries in Japan
  • Author HeadingCori, René Lascar, D. (Daniel)

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 : pbk

Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 : pbk
Paper図書
J.M. Larrazabal, D. Lascar, G. Mints (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingLogic Colloquium Larrazabal, Jesús M Lascar, D. (Daniel) Mints, G

Calcul propositionnel, alge︡bres de boole, calcul des prédicats :pbk

Calcul propositionnel, alge︡bres de boole, calcul des prédicats :pbk
Paper図書
René Cori, Daniel Lascar ; préface de J.-L. KrivineMassonc1993
Other Libraries in Japan
  • Author HeadingKrivine, Jean-Louis Cori, René Lascar, D. (Daniel)

Founctions récursives, théore︡me de Gödel, théorie des ensembles, théorie des mode︡les :pbk

Founctions récursives, théore︡me de Gödel, théorie des ensembles, théorie des mode︡les :pbk
Paper図書
René Cori, Daniel Lascar ; préface de J.-L. KrivineMassonc1993
Other Libraries in Japan
  • Author HeadingKrivine, Jean-Louis Cori, René Lascar, D. (Daniel)

Stabilité en théorie des modèles

Stabilité en théorie des modèles
Paper図書
D. LascarInstitut de mathématique pure et appliquée, Université catholique de Louvain1986
Other Libraries in Japan
  • Author HeadingLascar, D. (Daniel)

Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987

Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
Paper図書
edited by H.-D. Ebbinghaus ... [et al.]North-Holland1989
Other Libraries in Japan
  • Author Heading...J. Garrido, M. Lascar, D. (Daniel) Rodriquez-Artalejo, M.

Stability in model theory : us

Stability in model theory : us
Paper図書
Daniel Lascar ; translated from the French by J.E. WallingtonLongman Scientific & Technical1987
Other Libraries in Japan
  • Author HeadingLascar, D. (Daniel) Wallington, J. E.

Séminaire général de logique, 1983-1984

Séminaire général de logique, 1983-1984
Paper図書
F. Delon, D. Lascar, M. Parigot, [éditeurs]U.E.R. de Mathematiques & U. A. 753 du C.N.R.S.[1984?]
Other Libraries in Japan
  • Author HeadingDelon, Françoise Lascar, D. (Daniel) Parigot, Michel Séminaire gén...

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
Paper図書
edited by D. van Dalen, D. Lascar, T.J. SmileyNorth-Holland Pub. Co1982
Other Libraries in Japan
  • Author Heading... D. van (Dirk) Lascar, D. (Daniel) Smiley, T. J. (Timothy John) ...

Reached to the end of result.

RSS