First-order logic.

First-order logic.

Guardado en:

Detalles Bibliográficos
Autor principal:	Smullyan, Raymond M.
Formato:	Libro
Lenguaje:	Inglés
Publicado:	New York : Dover Publications, 1994.
Materias:	primer orden lógico

Ejemplares similares

First order mathematical logic.
por: Margaris, Angelo
Publicado: (1990.)

First order Mathematical Logic.
por: Margaris, Angelo
Publicado: (1967.)

Historia de la globalización : orígenes del orden económico mundial.
por: Ferrer, Aldo
Publicado: (1996.)

The numerical solution of two-point boundary problems in ordinary differential equations.
por: Fox, Leslie
Publicado: (1990.)

Logical positivism and existentialism
por: Cerft, Walter
Publicado: (1949)

Problems and solutions in logic design /
por: Zissos, D.
Publicado: (1976.)

The new international economic order : a selective bibliography /
por: Naciones Unidas. Biblioteca Dag Hammarskjöld.
Publicado: (1980.)

Logical positivism
por: Russell, Bertrand
Publicado: (1949)

First-order functional calculus.
por: Keene, Geoffrey
Publicado: (c1964.)

El ciclo básico secundario.
por: Brimm, R.P.
Publicado: (1971.)

The logic of empirical theories.
por: Przelecki, Marian
Publicado: (c1969.)

Iterative arrays of logical circuits /
por: Hennie, Frederick C.
Publicado: (1961.)

Ecuaciones Diferenciales con Problemas de Valores en la Frontera.
por: Zill, Dennis G.
Publicado: (c2002.)

Ecuaciones diferenciales con problemas con valores en la frontera séptima edición.
por: Zill, Dennis.

FUNDAMENTALS OF LOGIC
por: SMULLYAN, ARTHUR

Ecuaciones Diferenciales. : Una perspectiva de modelación.
por: Borelli, Robert.
Publicado: (2002.)

DC flux parametron : new approach to Josephson Junction Logic
por: Loe, K. F.
Publicado: (1986.)

Green functions for ordered and disordered systems /
por: Gonis, Antonios, 1945-
Publicado: (c1992.)

Digital system design with LSI bit-slice logic /
por: Myers, Glenford J., 1946-
Publicado: (c1980.)

Tratado de la reforma del entendimiento y otros escritos
por: Spinoza, Baruch de, 1632-1677.
Publicado: (1984.)

High-temperature ordered intermetallic alloys V : symposium held November 30-December 3, 1992, Boston, Massachusetts, U.S.A. /
Publicado: (c1993.)

High-temperature ordered intermetallic alloys VI : symposium held November 28-December 1, 1994, Boston, Massachusetts, U.S.A. /
Publicado: (c1995.)

Aprendizaje de la ciencia y pensamiento causal.
por: Pozo, Juan Ignacio.
Publicado: (1994.)

Aprendizaje de la ciencia y pensamiento causal.
por: Pozo, Juan Ignacio.
Publicado: (1987.)

Génesis de las estructuras lógicas elementales : clasificaciones y seriaciones.
por: Piaget, Jean.
Publicado: (1991.)

Introducción al simbolismo lógico.
por: Bosch, Jorge, 1925-
Publicado: (1981.)

Inversores lógicos, puertas lógicas, básculas, flips-flops, contadores, registros, codificadores- decodificadores, multiplexores
por: Bazurto Roldán, José Antonio.
Publicado: (2009)

Crítica del juicio. Primera parte, Crítica del juicio estético /
por: Kant, Immanuel, 1724-1804.
Publicado: (1914.)

Computación IV - diseño de los sistemas digitales combinatorios, secuenciales, funcionales e iterativos- /
por: Ibarra Quevedo, Raúl., et al.
Publicado: (1999)

Circuitos lógicos combinatorios
por: Almendarez Amador, Domingo.
Publicado: (1989)

Principles of software engineering management /
por: Gilb, Tom
Publicado: (c1988)

Tratado práctico elemental de arquitectura, o, Estudio de los cinco órdenes /
por: Vignola, 1507-1773
Publicado: ([186-?].)

La inteligencia su evolución y sus formas
por: Viaud, Gaston
Publicado: (1965)

Entre la física y la filosofía /
por: Frank, Philipp, 1884-1966.
Publicado: (1941.)

Fundamentos de diseño lógico /
por: Roth, Charles H. Jr.
Publicado: (c2005.)

Mathematical logic : a first course.
por: Robbin, Joel W.
Publicado: (1969.)

Object-oriented software engineering : a use case driven approach /
por: Jacobson, Ivar.
Publicado: (c1992.)

Los poderes de los jefes de gobierno /
por: Pasquino, Gianfranco.
Publicado: (2007.)

Los poderes de los jefes de gobierno /
por: Pasquino, Gianfranco.
Publicado: (2007.)

MS-DOS 6.2.
por: Tornsdorf, Helmut
Publicado: (1994.)