Значок книги

Théorie structurelle des automates finis

Сохранить в:

Библиографические подробности
Главный автор:	Moisil, Grigore C. (autor)
Формат:	‌
Язык:	французский
Опубликовано:	París Gauthier-Villars 1967
Серии:	Collection de Mathématiques Economiques
Предметы:	TEORIA DE LOS AUTOMATAS Teoría de circuitos LOGICA ALGEBRAICA Lógica matemática
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

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

Sur les algèbres de Hilbert
по: Diego, Antonio
Опубликовано: (1966)

Algebraic logic
по: Halmos, Paul Richard
Опубликовано: (1962)

An algebraic introduction to mathematical logic
по: Barnes, Donald W, и др.
Опубликовано: (1975)

Ordinal algebras
по: Tarski, Alfred
Опубликовано: (1956)

Finite mathematics
по: Campbell, Hugh G, и др.
Опубликовано: (1974)

Eléments de logique mathématique: théorie des modèles
по: Kreisel, G, и др.
Опубликовано: (1966)

Set theory and logic
по: Stoll, Robert R
Опубликовано: (1963)

Set theory and logic
по: Fraenkel, Abraham Adolf
Опубликовано: (1966)

Paradoxien des Unendlichen
по: Bolzano, Bernhard
Опубликовано: (1975)

Elementary theory of sets
по: Dinkines, Flora
Опубликовано: (1964)

Eléments de Mathématique: théorie des ensembles
по: Bourbaki, Nicolás
Опубликовано: (1970)

Methods in mathematical logic
по: Prisco, C. A. di
Опубликовано: (1985)

Model theory: An Introduction
по: Marker, David
Опубликовано: (2002)

Studies in graph theory
по: Fulkerson, D. R
Опубликовано: (1975)

Toposes, algebraic geometry and logic
по: Lawvere, F. William
Опубликовано: (1972)

La structure algébrique des théories mathématiques
по: Henkin, Leon
Опубликовано: (1956)

A theory of formal deducibility
по: Curry, Haskell B
Опубликовано: (1950)

Elements de la théorie mathématique des jeux
по: Guilbaud, G. T
Опубликовано: (1968)

Introducción al simbolismo lógico
по: Bosch, Jorge E
Опубликовано: (1981)

First order categorial logic: model-theoretical methods in theory of topoi and related categories
по: Makkai, Michael, и др.
Опубликовано: (1977)

Foundations of set theory
по: Fraenkel, Abraham A, и др.
Опубликовано: (1958)

Teoría de circuitos: ejercicios de autoevaluación
по: Gómez Expósito, Antonio, и др.
Опубликовано: (2005)

Borel equivalence relations: structure and classification
по: Kanovei, Vladimir
Опубликовано: (2008)

Apuleian logic: The nature, sources, and influence of apuleius's peri hermeneias
по: Sullivan, Mark W
Опубликовано: (1967)

Logic and knowledge: essays 1901 - 1950
по: Russell, Bertrand
Опубликовано: (1956)

Traité de logique: essai de logistique opératoire
по: Piaget, Jean
Опубликовано: (1949)

Exercises in modern mathematics
по: Marjoram, D. T. E.
Опубликовано: (1964)

Ensayos sobre Lógica y conocimiento: 1901 - 1950
по: Russell, Bertrand
Опубликовано: (1966)

Circuitos y señales: introducción a los circuitos lineales y de acoplamiento
по: Thomas, R. E, и др.
Опубликовано: (2000)

Mathematical Logic
по: Monk, James Donald
Опубликовано: (1976)

El juego de la lógica y otros escritos
по: Carroll, Lewis
Опубликовано: (1984)

Lógica de primer orden
по: Mosterín, Jesús
Опубликовано: (1970)

Hacia una lógica de significaciones
по: Piaget, Jean, и др.
Опубликовано: (1989)

Introduction to Mathematical Logic
по: Dinkines, Flora
Опубликовано: (1964)

Notes on logic
по: Lyndon, Roger C.
Опубликовано: (1966)

El desarrollo de la lógica matématica
по: Nidditch, P. H.
Опубликовано: (1983)

An introduction to Hilbert space and quantum logic
по: Cohen, David W
Опубликовано: (1989)

Lecons de logique formelle
по: Dopp, Joseph
Опубликовано: (1950)

On formally undecidable propositions of principia mathematica and related systems
по: Gödel, Kurt Friedrich
Опубликовано: (1992)

Introduction to mathematical logic
по: Mendelson, Elliott
Опубликовано: (1997)