Obálka

Introduction to mathematical logic

Zobrazit další vydání (1)

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Mendelson, Elliott (autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Princeton D. van Nostrand 1964
Edice:	The University Series in Undergraduate Mathematics
Témata:	Lógica matemática Lógica simbólica Cálculo proposicional LOGICA DE CUANTIFICADORES Teoría de números Teoría de conjuntos Algoritmos
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Introduction to mathematical logic
Autor: Mendelson, Elliott
Vydáno: (1997)

Lógica simbólica: una breve introducción
Autor: Gómez Calderón, Javier
Vydáno: (1979)

Fundamentos de matemáticas. (el lenguaje) (el sucesor). Curso de la Escuela de Arquitectura
Autor: Mena Lorca, Arturo
Vydáno: (2003)

First-order logic
Autor: Smullyan, Raymond M
Vydáno: (1995)

First-order logic
Autor: Smullyan, Raymond M
Vydáno: (1968)

Introduction a la logique mathématique
Autor: Novikov, P. S. (Petr Sergeevich)
Vydáno: (1964)

Introducción al simbolismo lógico
Autor: Bosch, Jorge E
Vydáno: (1981)

The grammar of mathematics
Autor: Durst, Lincoln K
Vydáno: (1969)

Popular lectures on mathematical logic
Autor: Wang, Hao
Vydáno: (1993)

Logic colloquium
Autor: Parikh, Rohit
Vydáno: (1975)

Introduction to logic
Autor: Suppes, Patrick
Vydáno: (1957)

Lógica básica para la verdad aristotélica
Autor: Sierra A., Manuel
Vydáno: (2010)

An introduction to Hilbert space and quantum logic
Autor: Cohen, David W
Vydáno: (1989)

The elements of mathematical logic
Autor: Rosenbloom, Paul C
Vydáno: (1950)

Lógica simbólica
Autor: Hegenberg, Leónidas
Vydáno: (1966)

Studies in foundations and combinatorics
Autor: Rota, Gian-Carlo
Vydáno: (1978)

Algebra and logic
Autor: Crossley, J. N
Vydáno: (1975)

Lógica, lingüística y matemáticas
Autor: Serrano, Sebastián
Vydáno: (1977)

Methods in mathematical logic
Autor: Prisco, C. A. di
Vydáno: (1985)

Tableau systems for first order number theory and certain higher order theories
Autor: Toledo, Sue
Vydáno: (1975)

Mathematical Logic
Autor: Monk, James Donald
Vydáno: (1976)

Introducción al simbolismo lógico
Autor: Bosch, Jorge E
Vydáno: (1970)

Lógica simbólica para informáticos
Autor: Iranzo, Pascual Julián
Vydáno: (2005)

Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Autor: Ledesma, Luis de
Vydáno: (2010)

Lógica para informáticos
Autor: Farré Cirera, Rafel, a další
Vydáno: (2012)

Set theory and logic
Autor: Stoll, Robert R
Vydáno: (1963)

An algebraic introduction to mathematical logic
Autor: Barnes, Donald W, a další
Vydáno: (1975)

Logic, computers, and sets
Autor: Wang, Hao
Vydáno: (1970)

Elements of mathematical logic
Autor: Novikov, P. S. (Petr Sergeevich)
Vydáno: (1964)

The logical basis for computer programming
Autor: Manna, Zohar, a další
Vydáno: (1985)

Set theory and logic
Autor: Fraenkel, Abraham Adolf
Vydáno: (1966)

Algoritmo de las particiones
Autor: Iommi Amunátegui, Godofredo Tomás
Vydáno: (1985)

A course in mathematical logic
Autor: Manin, Yuri Ivanovich
Vydáno: (1977)

Pruebas y refutaciones: la lógica del descubrimiento matemático
Autor: Lakatos, Imre
Vydáno: (1982)

Eléments de Mathématique: théorie des ensembles
Autor: Bourbaki, Nicolás
Vydáno: (1970)

Introduction to mathematical ideas
Autor: Crowdis, David G, a další
Vydáno: (1969)

La logique à l'école
Autor: Glaymann, Maurice, a další
Vydáno: (1972)

Modal logics
Autor: Feys, Robert
Vydáno: (1965)

Eléments de logique mathématique: théorie des modèles
Autor: Kreisel, G, a další
Vydáno: (1966)

Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
Vydáno: (1970)