$Значок книги$

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
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

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)