Documents&nbsp; 03Exx | enregistrements trouvés : 153

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Proceedings of the tarski symposium
an international symposium held to honor alfred tarski on the occasionof his seventieth birthday held at the university of california,berkeley,june 23-30,1971 Addison, J. ; Chang, C. C. ; Henkin, L. | American Mathematical Society 1979 Nouveau

Congrès

ISBN 978-0-8218-1425-3

Proceedings of symposia in pure mathematics , 0025

Localisation : Collection 1er étage

03-02 ; 03-06 ; 03Exx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Models and sets, part I :
proceedings of the logic colloquium held in aachen#July 18-23 Muller, G. H. ; Richter, M. M. | Springer-Verlag 1984 Nouveau

Congrès

- 396 p.
ISBN 978-0-387-13900-5

Lecture notes in mathematics , 1103

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Recursion theory
proceedings of the american mathematical society-a.s.l. summer institute on... held at cornell university, ithaca,n.y.,june 28 - july 16,1982 Nerode, Anil ; Shore, Richard A. | American Mathematical Society 1985 Nouveau

Congrès

ISBN 978-0-8218-1447-5

Proceedings of symposia in pure mathematics , 0042

Localisation : Collection 1er étage

03Dxx ; 03Exx ; 03F30 ; 14M05 ; 28A12

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Methods in mathematical logic :
proceedings of the 6th latin american symposium on... held in caracas#Aug. 1-6 Di Prisco, C. A. | Springer-Verlag 1985 Nouveau

Congrès

- 407 p.
ISBN 978-0-387-15236-3

Lecture notes in mathematics , 1130

Localisation : Collection 1er étage

03-06 ; 03Bxx ; 03Dxx ; 03Exx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Sets,models and recursion theory
proceedings of the summer school in mathematical logic and tenth logic colloquium,leicester,aug. - sept.,1965 Crossley, John N. | North-Holland Publishing Co. 1967 Nouveau

Congrès

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LEIC)

03Cxx ; 03Dxx ; 03Exx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Recursion theory week :
proceedings of a conference held in oberwolfach#April 15-21 Ebbinghaus, H. D. ; Muller, G. H. ; Sacks, G. E. | Springer-Verlag 1985 Nouveau

Congrès

- 418 p.
ISBN 978-3-540-15673-4

Lecture notes in mathematics , 1141

Localisation : Collection 1er étage

03Bxx ; 03Exx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Axiomatic set theory :
proceedings of the ams-ims-siam joint summer research conference in the mathematics sciences on... held at the university of colorado#June 19-25 Baumgartner, James E. ; Martin, Donald A. ; Shelah, Saharon | American Mathematical Society 1984 Nouveau

Congrès

- 259 p.
ISBN 978-0-8218-5026-8

Contemporary mathematics , 0031

Localisation : Collection 1er étage

01A55 ; 01A60 ; 03E05 ; 03Exx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Logic symposia hakone 1979, 1980 :
proceedings of conferences on... held in hakone#March 21-24 and Feb. 4-7 Muller, G. H. ; Takeuti, G. ; Tugue, T. | Springer-Verlag 1985 Nouveau

Congrès

- 431 p.
ISBN 978-3-540-11161-0

Lecture notes in mathematics , 0891

Localisation : Collection 1er étage

logique

03Cxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Axiomatic set theory
proceedings of the symposium in pure mathematics of the a.m.s.,held at the university of california,los angeles, california,july 10 - aug. 5,1967 Jech, Thomas J. | American Mathematical Society 1974 Nouveau

Congrès

ISBN 978-0-8218-0246-5

Proceedings of symposia in pure mathematics

Localisation : Collection 1er étage

axiomatique # theorie des sembles

02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Axiomatic set theory
proceedings of the symposium in pure mathematics of the a.m.s.,held at the university of california,los angeles, california,july 10 - aug. 5,1967 Scott, Dana S. | American Mathematical Society 1971 Nouveau

Congrès

ISBN 978-0-8218-0245-8

Proceedings of symposia in pure mathematics

Localisation : Collection 1er étage

axiomatique # theorie des sembles

02K99 ; 03E25 ; 03Exx ; 04-06 ; 04A25

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Mathematical logic and its applications
proceedings of and advanced international summer school and conference on ...,in honor of the 80th anniv. of kurt goldel Skordev, Dimiter G. | Plenum Press 1987 Nouveau

Congrès

ISBN 978-0-306-42599-8

Localisation : Colloque 1er étage (DRUZ)

biographie # calcul lambda # logique # logique classique # logique de programmation # logique symbolique # progammation # programmation logique

03B40 ; 03B70 ; 03Exx ; 60Q40

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Cabal seminar 81-85
proceedings,caltech-ucla logic seminar 1981-85 Kechris, A. S. ; Martin, D. A. ; Steel, J. R. | Springer-Verlag 1988 Nouveau

Congrès

ISBN 978-3-540-50020-9

Lecture notes in mathematics , 1333

Localisation : Collection 1er étage

logique # theorie de la recursion # theorie des ensembles

03Dxx ; 03Exx ; 04-XX

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Cabal seminar 81-85
proceedings,caltech-ucla logic seminar 1981-85 Kechris, A. S. ; Martin, D. A. ; Steel, J. R. | Springer-Verlag 1988 Nouveau

Congrès

ISBN 978-3-540-50020-9

Lecture notes in mathematics , 1333

Localisation : Collection 1er étage

logique

03Dxx ; 03Exx ; 04-XX

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Mathematical logic and applications
proceedings of the logic meeting was held at the r.i.m.s. of kyoto,aug. 3-6,1987 Shinoda, J. ; Slaman, T. A. ; Tugue, T. | Springer-Verlag 1989 Nouveau

Congrès

ISBN 978-3-540-51527-2

Lecture notes in mathematics , 1388

Localisation : Collection 1er étage

logique mathematique

03Bxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Set theory and model theory :
proceedings of an informal symposium held at bonn#June 1-3 Jensen, R. B. ; Prestel, A. | Springer-Verlag 1981 Nouveau

Congrès

- 1174 p.
ISBN 978-3-540-10849-8

Lecture notes in mathematics , 0872

Localisation : Collection 1er étage

algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles

03-06 ; 03-XX ; 03Cxx ; 03Exx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Recursion theory week :
proceedings of a conference held in oberwolfach#March 19-25 Ambos-Spies, K. ; Muller, G. H. ; Sacks, G. E. | Springer-Verlag 1990 Nouveau

Congrès

- 393 p.
ISBN 978-3-540-52772-5

Lecture notes in mathematics , 1432

Localisation : Collection 1er étage

caculabilité relative # calcul non détermine # complexité # conjecture # énumération # énumération récursive # espace topologique # indécidabilité # informatique # non récursive # récursion # théorie de la récursion

03Dxx ; 03Exx ; 68Qxx

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.