कवर छवि

Introduction to mathematical logic

अन्य संस्करण दिखाएं (1)

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Mendelson, Elliott (autor)
स्वरूप:	पुस्तक
भाषा:	अंग्रेज़ी
प्रकाशित:	Princeton D. van Nostrand 1964
श्रृंखला:	The University Series in Undergraduate Mathematics
विषय:	Lógica matemática Lógica simbólica Cálculo proposicional LOGICA DE CUANTIFICADORES Teoría de números Teoría de conjuntos Algoritmos
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Introduction to mathematical logic
द्वारा: Mendelson, Elliott
प्रकाशित: (1997)

Lógica simbólica: una breve introducción
द्वारा: Gómez Calderón, Javier
प्रकाशित: (1979)

Fundamentos de matemáticas. (el lenguaje) (el sucesor). Curso de la Escuela de Arquitectura
द्वारा: Mena Lorca, Arturo
प्रकाशित: (2003)

First-order logic
द्वारा: Smullyan, Raymond M
प्रकाशित: (1995)

First-order logic
द्वारा: Smullyan, Raymond M
प्रकाशित: (1968)

Introduction a la logique mathématique
द्वारा: Novikov, P. S. (Petr Sergeevich)
प्रकाशित: (1964)

Introducción al simbolismo lógico
द्वारा: Bosch, Jorge E
प्रकाशित: (1981)

The grammar of mathematics
द्वारा: Durst, Lincoln K
प्रकाशित: (1969)

Popular lectures on mathematical logic
द्वारा: Wang, Hao
प्रकाशित: (1993)

Logic colloquium
द्वारा: Parikh, Rohit
प्रकाशित: (1975)

Introduction to logic
द्वारा: Suppes, Patrick
प्रकाशित: (1957)

Lógica básica para la verdad aristotélica
द्वारा: Sierra A., Manuel
प्रकाशित: (2010)

An introduction to Hilbert space and quantum logic
द्वारा: Cohen, David W
प्रकाशित: (1989)

The elements of mathematical logic
द्वारा: Rosenbloom, Paul C
प्रकाशित: (1950)

Lógica simbólica
द्वारा: Hegenberg, Leónidas
प्रकाशित: (1966)

Studies in foundations and combinatorics
द्वारा: Rota, Gian-Carlo
प्रकाशित: (1978)

Algebra and logic
द्वारा: Crossley, J. N
प्रकाशित: (1975)

Lógica, lingüística y matemáticas
द्वारा: Serrano, Sebastián
प्रकाशित: (1977)

Methods in mathematical logic
द्वारा: Prisco, C. A. di
प्रकाशित: (1985)

Tableau systems for first order number theory and certain higher order theories
द्वारा: Toledo, Sue
प्रकाशित: (1975)

Mathematical Logic
द्वारा: Monk, James Donald
प्रकाशित: (1976)

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)

Lógica para informáticos
द्वारा: Farré Cirera, Rafel, और अन्य
प्रकाशित: (2012)

Set theory and logic
द्वारा: Stoll, Robert R
प्रकाशित: (1963)

An algebraic introduction to mathematical logic
द्वारा: Barnes, Donald W, और अन्य
प्रकाशित: (1975)

Logic, computers, and sets
द्वारा: Wang, Hao
प्रकाशित: (1970)

Elements of mathematical logic
द्वारा: Novikov, P. S. (Petr Sergeevich)
प्रकाशित: (1964)

The logical basis for computer programming
द्वारा: Manna, Zohar, और अन्य
प्रकाशित: (1985)

Set theory and logic
द्वारा: Fraenkel, Abraham Adolf
प्रकाशित: (1966)

Algoritmo de las particiones
द्वारा: Iommi Amunátegui, Godofredo Tomás
प्रकाशित: (1985)

A course in mathematical logic
द्वारा: Manin, Yuri Ivanovich
प्रकाशित: (1977)

Pruebas y refutaciones: la lógica del descubrimiento matemático
द्वारा: Lakatos, Imre
प्रकाशित: (1982)

Eléments de Mathématique: théorie des ensembles
द्वारा: Bourbaki, Nicolás
प्रकाशित: (1970)

Introduction to mathematical ideas
द्वारा: Crowdis, David G, और अन्य
प्रकाशित: (1969)

La logique à l'école
द्वारा: Glaymann, Maurice, और अन्य
प्रकाशित: (1972)

Modal logics
द्वारा: Feys, Robert
प्रकाशित: (1965)

Eléments de logique mathématique: théorie des modèles
द्वारा: Kreisel, G, और अन्य
प्रकाशित: (1966)

Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
प्रकाशित: (1970)