$صورة الغلاف$

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications

محفوظ في:

التفاصيل البيبلوغرافية
التنسيق:	كتاب
اللغة:	الفرنسية
منشور في:	París Gauther-Villars 1965
سلاسل:	Collection de Logique Mathématique, 19
الموضوعات:	Lógica matemática Matemática Lógica simbólica MAQUINAS DE TURING INTELIGENCIA ARTIFICIAL
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة

An algebraic introduction to mathematical logic
حسب: Barnes, Donald W, وآخرون
منشور في: (1975)

La structure algébrique des théories mathématiques
حسب: Henkin, Leon
منشور في: (1956)

Sur les algèbres de Hilbert
حسب: Diego, Antonio
منشور في: (1966)

Introducción al simbolismo lógico
حسب: Bosch, Jorge E
منشور في: (1970)

Popular lectures on mathematical logic
حسب: Wang, Hao
منشور في: (1993)

Lógica simbólica para informáticos
حسب: Iranzo, Pascual Julián
منشور في: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
حسب: Ledesma, Luis de
منشور في: (2010)

Logic colloquium
حسب: Parikh, Rohit
منشور في: (1975)

Lógica para informáticos
حسب: Farré Cirera, Rafel, وآخرون
منشور في: (2012)

Pruebas y refutaciones: la lógica del descubrimiento matemático
حسب: Lakatos, Imre
منشور في: (1982)

La logique à l'école
حسب: Glaymann, Maurice, وآخرون
منشور في: (1972)

Eléments de logique mathématique: théorie des modèles
حسب: Kreisel, G, وآخرون
منشور في: (1966)

Lógica matemática.
حسب: Ferrater Mora, José
منشور في: (1962)

Introduction a la logique mathématique
حسب: Novikov, P. S. (Petr Sergeevich)
منشور في: (1964)

Introducción al simbolismo lógico
حسب: Bosch, Jorge E
منشور في: (1981)

La lógica simbólica
حسب: Agazzi, Evandro
منشور في: (1986)

Teaching mathematical reasoning in secondary school classrooms
حسب: Brodie, Karin
منشور في: (2010)

An introduction to Hilbert space and quantum logic
حسب: Cohen, David W
منشور في: (1989)

Methods in mathematical logic
حسب: Prisco, C. A. di
منشور في: (1985)

Los fundamentos de la matemática y otros ensayos sobre lógica
حسب: Ramsey, Frank Plumpton
منشور في: (1968)

Algebra and logic
حسب: Crossley, J. N
منشور في: (1975)

The grammar of mathematics
حسب: Durst, Lincoln K
منشور في: (1969)

A course in mathematical logic
حسب: Manin, Yuri Ivanovich
منشور في: (1977)

Introduction to mathematical logic
حسب: Mendelson, Elliott
منشور في: (1997)

Manual de lógica para estudiantes de matemáticas
حسب: Zubieta Russi, Gonzalo
منشور في: (1971)

Lógica formal: su alcance y sus límites.
حسب: Jeffrey, Richard C.
منشور في: (1986)

Lógica combinatoria
حسب: Curry, Haskell B, وآخرون
منشور في: (1967)

Modal logics
حسب: Feys, Robert
منشور في: (1965)

Symbolic logic and language: a programmed text
حسب: Dickoff, James, وآخرون
منشور في: (1965)

Lógica simbólica: una breve introducción
حسب: Gómez Calderón, Javier
منشور في: (1979)

Lógica, lingüística y matemáticas
حسب: Serrano, Sebastián
منشور في: (1977)

Mathematical Logic
حسب: Monk, James Donald
منشور في: (1976)

Studies in foundations and combinatorics
حسب: Rota, Gian-Carlo
منشور في: (1978)

Lógica para lingüistas
حسب: Allwood, Jens, وآخرون
منشور في: (1981)

Logic, computers, and sets
حسب: Wang, Hao
منشور في: (1970)

Introduction to mathematical logic
حسب: Mendelson, Elliott
منشور في: (1964)

Lógica simbólica
حسب: Hegenberg, Leónidas
منشور في: (1966)

Tableau systems for first order number theory and certain higher order theories
حسب: Toledo, Sue
منشور في: (1975)

The logical basis for computer programming
حسب: Manna, Zohar, وآخرون
منشور في: (1985)

Les fondements de l'arithmétique: recherche logico-mathématique sur le concept de nombre
حسب: Frege, Gottlob
منشور في: (1969)