صورة الغلاف

Modal logics

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Feys, Robert (مؤلف)
التنسيق:	كتاب
اللغة:	الإنجليزية
منشور في:	Lovaina E. Nauwelaerts 1965
سلاسل:	Collection de Logique Mathématique, 4
الموضوعات:	LOGICA COMBINATORIA Lógica matemática Lógica simbólica SISTEMAS FORMALES
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة

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

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

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

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

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

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

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)

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

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

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

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

Identidad en la lógica matemática
حسب: Nemesszeghy Voros, Elemer
منشور في: (1967)

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

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

Introducción a las lógicas no clásicas
حسب: Peña, Lorenzo
منشور في: (1993)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications
منشور في: (1965)

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

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

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

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