Azala

Matemática discreta y lógica

Erakutsi beste bertsioak (1)

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Grassmann, Winfried Karl (Egilea), Tremblay, Jean-Paul (Egilea)
Formatua:	Liburua
Hizkuntza:	gaztelania
Argitaratua:	Madrid Prentice Hall 1997
Gaiak:	CALCULO DE PREDICADOS Cálculo proposicional Funciones Grafos Inducción MATEMATICA DISCRETA RECURSIVIDAD
Sarrera elektronikoa:	Disponible Online
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

Antzeko izenburuak

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

Matemática discreta y lógica
nork: Grassmann, Winfried Karl, et al.
Argitaratua: (1996)

Matemáticas discretas.
nork: Espinosa Armenta, Ramón
Argitaratua: (2010)

Introduction a la logique mathématique
nork: Novikov, P. S. (Petr Sergeevich)
Argitaratua: (1964)

Matemática discreta y lógica: una perspectiva desde la ciencia de la computación
nork: Grassmann, Winfried Karl, et al.
Argitaratua: (1998)

Degrees of unsolvability
nork: Sacks, Gerald E
Argitaratua: (1966)

Degrees of unsolvability: structure and theory
nork: Epstein, Richard L
Argitaratua: (1979)

Term logic with choice operator
nork: Hermes, Hans
Argitaratua: (1970)

Teoría y práctica de la lógica proposiciona
nork: Montaner, Pedro, et al.
Argitaratua: (1997)

Matemáticas discretas
nork: Johnsonbaugh, Richard
Argitaratua: (1999)

Calculus and analytic geometry
nork: Tierney, John A
Argitaratua: (1968)

Lógica simbólica
nork: Hegenberg, Leónidas
Argitaratua: (1966)

Proceedings of the Summer School in Logic Leeds, 1967
Argitaratua: (1968)

Matemáticas discretas con aplicación a las ciencias de la computación
nork: Tremblay, Jean-Paul, et al.
Argitaratua: (1996)

Büchi's Monadic second order successor arithmetic
nork: Siefkes, Dirk
Argitaratua: (1970)

Matemáticas discretas: con teoría de gráficas y combinatoria
nork: Veerarajan, T
Argitaratua: (2008)

First-order logic
nork: Smullyan, Raymond M
Argitaratua: (1995)

First-order logic
nork: Smullyan, Raymond M
Argitaratua: (1968)

The elements of mathematical logic
nork: Rosenbloom, Paul C
Argitaratua: (1950)

Tableau systems for first order number theory and certain higher order theories
nork: Toledo, Sue
Argitaratua: (1975)

Matemática discreta
nork: García Gómez, Carlos, et al.
Argitaratua: (2002)

Functional trigonometry
nork: Hillman, Abraham P, et al.
Argitaratua: (1971)

Matemáticas y razonamiento plausible
nork: Pólya, George
Argitaratua: (1966)

Matemática discreta
nork: Ferrando, J. C, et al.
Argitaratua: (1995)

Introduction to mathematical logic
nork: Mendelson, Elliott
Argitaratua: (1964)

A course of pure mathematics
nork: Hardy, Godfrey Harold
Argitaratua: (1941)

Iniciación a la teoría de grafos.
nork: Giudici Espinoza, Reinaldo Horacio
Argitaratua: (2009)

Graphs
nork: Berge, Claude
Argitaratua: (1985)

Calculus of several variables
nork: Lang, Serge
Argitaratua: (1987)

Cálculo
nork: Campbell, Hugh G, et al.
Argitaratua: (1977)

Matemáticas para ingeniería: introducción al cálculo
nork: Arancibia Carvajal, Sara
Argitaratua: (1997)

A course of pure mathematics
nork: Hardy, Godfrey Harold
Argitaratua: (1960)

A precis of mathematical logic
nork: Bochénski, Innocentius M
Argitaratua: (1959)

Introducción al análisis infinitesimal
nork: Bertoglio Cortez, Néstor, et al.
Argitaratua: (1994)

Introducción a la lógica
nork: Copi, Irving M
Argitaratua: (1999)

Théorie métamathématique des idéaux
nork: Robinson, Abraham
Argitaratua: (1955)

La inducción.
nork: Estrella, Jorge
Argitaratua: (1978)

Inducción y probabilidad
nork: Black, Max
Argitaratua: (1984)

Calculus
nork: Sherwood, G. E, et al.
Argitaratua: (1946)

Lógica, lingüística y matemáticas
nork: Serrano, Sebastián
Argitaratua: (1977)