m

Documents  Critères de recherche : "Logic colloquium" | enregistrements trouvés : 25

O

-A +A

P Q

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


ISBN 978-0-444-86465-9

Studies in logic and the foundations of mathematics , 0108

Localisation : Colloque 1er étage (PRAG)

addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de scission universelle # relation d'équivalence # réel en singleton # structure de coeur # système présenté inductivement # ultra filtre # union de ZF-modèle addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de ...

03-06 ; 03Fxx

... Lire [+]

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

- 475 p.
ISBN 978-0-387-13901-2

Lecture notes in mathematics , 1104

Localisation : Collection 1er étage

03Dxx ; 03Fxx ; 68CXX

... Lire [+]

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


ISBN 978-0-444-86876-3

Studies in logic and the foundations of mathematics , 0112

Localisation : Colloque 1er étage (FLOR)

NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue

03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15

... Lire [+]

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

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

Lecture notes in mathematics , 1103

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (HANN)

03-06 ; 03Bxx ; 03C60 ; 03Dxx ; 03Gxx

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LEIC)

03Cxx ; 03Dxx ; 03Exx

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (OXFO)

03-06 ; 03D05 ; 03Dxx

... Lire [+]

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


ISBN 978-0-444-85378-3

Studies in logic and the foundations of mathematics , 0097

Localisation : Colloque 1er étage (MONS)

Bernays # Godel # analyse mathématique constructive # anneau de polynome # axiome du choix # cardinal hypermesurable # conjecture de Solevary # logique abstraite # logique mathématique # logique symbolique # modèle de théorie KM des classes # modèle de théorie des ensembles ZFC # successeur de cardinal singulier # théorie algébrique stable # théorie des ensembles intuitioniste

03-XX

... Lire [+]

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


ISBN 978-0-444-87758-1

Colloquia mathematica societatis janos bolyai , 0042

Localisation : Colloque 1er étage (GYOR)

68-06 ; 68Qxx ; 68Rxx

... Lire [+]

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


ISBN 978-0-444-87758-1

Colloquia mathematica societatis janos bolyai , 0042

Localisation : Colloque 1er étage (GYOR)

68-06 ; 68Qxx

... Lire [+]

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


ISBN 978-0-444-87999-8

Studies in logic and the foundations of mathematics , 0120

Localisation : Colloque 1er étage (MANC)

axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles

03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10

... Lire [+]

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

Localisation : Colloque 1er étage (PARI)

logique symbolique

03-06

... Lire [+]

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

- 375 p.
ISBN 978-0-444-88022-2

Studies in logic and the foundations of mathematics , 0129

Localisation : Colloque 1er étage (GRAN)

... Lire [+]

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


ISBN 978-3-540-07155-6

Lecture notes in mathematics , 0453

Localisation : Collection 1er étage

abolition d'axiome de Frege # foncteur combinatoire # interprétation de réalisabilité de la théorie des espèces # langage abstrait # logique # métamathématique # théorie de second ordre monadique faible du successeur # variable # égalité entre fonctionnelle

00Bxx ; 03-06

... Lire [+]

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


ISBN 978-3-540-07534-9

Lecture notes in mathematics , 0499

Localisation : Collection 1er étage

approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # problème algorithmique irrésoluble récursivement # produit du forcing de Silver # propriété d'indescriptibilité # sémantique intensionnelle pour langage naturel # théorie des ensembles en langage infinitaire # théorie des modèles de corps locaux # théorie du calcul # théorème de Silver # type de données comme treillis # élimination de quantificateur approche axiomatique à la récursion sur structure générale # axiome de grands cardinaux # axiome du choix en théorie des classes de Morse-Kelley # coque de théorie # extensibilité de modèle de la théorie des ensembles ZF aux m # extension de logique du premier ordre # grands cardinaux petits # logique algorithmique multivaluée # modèle fermé # méthode en histoire de la logique # plus petits ordinaux réfléchissants sigma un demi et pi un d # ...

03-XX ; 04-XX ; 68-XX

... Lire [+]

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


ISBN 978-3-540-07533-2

Lecture notes in mathematics , 0500

Localisation : Collection 1er étage

Prawitz # Schütte # borne supérieure pour la prouvabilité de l'induction transfi # calculabilité de fonctionnelle récursive primitive de type f # complétude intuitioniste de logique du second-ordre restrein # construction combinatoire avec preuve et élimination d'inter # extension de Skolem en logique intuitioniste avec égalité # foncteur sain # fonction normale # généralisation de théorème de complétude # interprétation fonctionnelle intensionnelle de l'analyse # normalisation forte pour arithmétique # notion classique de vérité # preuve de consistance et ordinal # principe et règle de Markov pour théorie de suite de choix # procédure de type Gentzen # règle et schéma # récursion en types supérieurs # standardisation généralisée en logique combinatoire # système constructif de nombres ordinaux # terme infini # théorie libre de type non-extensionnelle des opérations part # théorème de Church-Rosser pour lambda-calcul avec termes de # variante du système des signes W(X) pour nombres ordinaux # élément réel en preuve de consistance pour théorie des types Prawitz # Schütte # borne supérieure pour la prouvabilité de l'induction transfi # calculabilité de fonctionnelle récursive primitive de type f # complétude intuitioniste de logique du second-ordre restrein # construction combinatoire avec preuve et élimination d'inter # extension de Skolem en logique intuitioniste avec égalité # foncteur sain # fonction normale # généralisation de théorème de complétude # interprétation fonctionnelle i...

03Fxx ; 03F99 ; 03D65 ; 03-06

... Lire [+]

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

- 347 p.
ISBN 978-3-540-63385-3

Lecture notes in computer science , 1289

Localisation : Collection 1er étage

algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve

68N17 ; 68Q15 ; 68Q20 ; 68Q25 ; 68Q45

... Lire [+]

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

- 419 p.
ISBN 978-0-521-63550-9

London mathematical society lecture note series , 0259

Localisation : Collection 1er étage

arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles

03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx

... Lire [+]

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

- 436 p.
ISBN 978-0-521-63549-3

London mathematical society lecture note series , 0258

Localisation : Collection 1er étage

combinatoire # logique # logique de propositions # logique de prédicats # modèle de calcul # théorie d'ensembles # théorie de preuve

03-06 ; 03Exx ; 03Fxx

... Lire [+]

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


ISBN 978-1-56881-113-0

Lecture notes in logic , 0013

Localisation : Colloque 1er étage (PRAG)

logique # logique mathématique # logique symbolique

03-06

... Lire [+]

Z