Refinar su búsqueda

Su búsqueda retornó 84 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Ordenar
Resultados
Algebraic logic

por Halmos, Paul R. (Paul Richard), 1916-2006.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Chelsea Publishing, 1962Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.8 H194.

An accompaniment to higher mathematics

por Exner, George R.

Series Undergraduate texts in mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York: Springer, 1996Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 E96.

The axiomatic method ; an introduction to mathematical logic.

por Lightstone, A H.

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Englewood Cliffs, N.J. : Prentice-Hall, [1964]Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 L724.

Beginnig logic

por Lemmon, Edward John.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: London : Nelson, 1965Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 L554I.

Brainmatics : más rompecabezas lógicos/ Iván Moscovich

por Moscovich, Ivan [, autor].

Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: Alemania: h.f. Ullmann, 2009Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 793.74 M896.

Circuitos binarios Francisco Company Bueno

por Company Bueno, Francisco.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Barcelona : Marcombo, 1972Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Concepción (1) Signatura topográfica: 621.38128 C738.

Complete theories

por Robinson, Abraham.

Series Studies in logic and the foundations of mathematicsTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Amsterdam : North-Holland PublishingCompany, 1956Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 R658.

Computability : an introduction to recursive function theory

por Cutland, Nigel.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Cambridge : Cambridge University, 1980Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 C989.

Conference Record

por Symposium on the Theory and Applications of Multiple-Valued logic Design (1972 : Buffalo).

Tipo de material: Texto Texto Detalles de publicación: Buffalo : SUNY/ Buffalo, 1972Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.381952 S989 1972.

The consistency of the axion of choice and of the generalized continuum-hypothesis with the axioms of set theory

por Gödel, Kurt.

Series Annals of mathematics studies ; ; 3Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Princeton, N. J. : Princeton University , 1940Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 G594.

Direct and converse theorems : the elements of symbolic logic

por Gradshteyn, I. S.

Series International series of monographs in pure and applied mathematics ; , vo.27Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : The MacMillan Company, 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 G733.

Diseño lógico de circuítos binarios Alfredo M Rojas Lagarde

por Rojas Lagarde, Alfredo M.

Series Manuales de EUDEBA. IngenieríaTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Buenos Aires: EUDEBA, 1968Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Concepción (1) Signatura topográfica: 511.3 R741.

Elemente de logica matematica

por Tirnoveanu, Mircea.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Bucuresti : Editura Didactica i pedagogica, 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 T597 V.1.

Elementos de la metalógica y metamatemática

por Stahl, Gerold.

Series Contribuciones a la lógica ; no. 3Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Santiago : Universitaria, 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 S781.

Elements of mathematical logic.

por Novikov, Petr Sergeevich.

Series Adiwes international series in mathematicsTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Edinburgh : Oliver & Boyd, 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 N943.

Elements of mathematical logic and set theory

por Slupecki, Jerzy | Borkowski, Ludwik.

Series International series of monographs in pure and applied mathematics ; v.96Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Warszawa : Polish Scientific Publishers, 1967Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 510.1 S634, ...

Elements of symbolic logic.

por Reichenbach, H. (Hans), 1936-.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : MacMillan, 1947Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 R351, ...

Elements of the theory of computation

por Lewis, Harry R | Papadimitriou, Christos H.

Edición: 2nd. ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: UpperSaddle River, New Jersey : Prentice-Hall, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 511.3 L673.

Ensayos de filosofía formal

por Montague, Richard.

Series Alianza universidad ; ; 190Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Madrid : Alianza Editorial, 1980Disponibilidad: Ítems disponibles para préstamo: Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 160 M759.

Enumerability, decidability, computability : an introduction to the theory of resursive functions / Hans Hermes

por Hermes, Hans.

Series Die Grundlehren der Mathematischen Wissenschaften ; , v.127Edición: 2nd. ed.Tipo de material: Texto Texto; Formato: impreso Editor: Berlin : Springer-Verlag, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 H553, ...

Essais sur les logiques non chrysippiennes.

por Moisil, Grigore C.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Bucarest : Editions de l'Académie de la République Socialiste de Roumanie, 1972Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 M714.

Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel Edied by Jack J. Bulloff

por Bulloff, Jack J.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer-Verlag, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 F771.

Fundamental concepts of modern mathematics / Max D. Larsen

por Larsen, Max D [, autor].

Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: Massachusetts Addison-Wesley Publishing Company, 1970Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.8 L334.

Fundamentals of stability theory John T. Baldwin

por Baldwin, John T.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, c1988Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.8 B181.

Fundamentos de lógica simbólica Alice Ambrose, Morris Lazerowitz

por Ambrose, Alice | Lazerowitz, Morris.

Series Instituto de Investigaciones Filosóficas: Filosofía contemporánea. Textos introductoriosTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: México : Universidad Nacional Autónoma de México, 1968Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 A496.

Fuzzy automata and decision processes

por Gupta, Madan M | Saridis, George N.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : North-Holland, 1977Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 G977.

Fuzzy switching and automata : theory and applications

por Kandel, Abraham | Lee, Samuel C.

Series Computer systems engineering seriesTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York: Crane Russak, 1979Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 K16.

Grammars for programming languages J. Craig Cleaveland and Robert C. Uzgalis

por Cleaveland, J. Craig | Uzgalis, Robert C.

Series Programming languages series ; ; no. 4Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Elsevier, 1977Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.78 C623.

How to prove it: a structured approach / Daniel J. Velleman

por Velleman, Daniel J [, autor].

Edición: Segunda ediciónTipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: New York: Cambridge University Press, 2006Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 V439, ...

Introducción al simbolismo lógico / Jorge E. Bosch

por Bosch, Jorge E.

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Buenos Aires : Editorial Universitaria, 1965Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 B742.

An introduction to deductive logic Hughes Leblanc

por Leblanc, Hugues.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : Wiley, 1955Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 162 L44.

An introduction to mathematical logic.

por Robinson, Gerson B.

Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Englewood Cliffs, N.J. : Prentice-Hall, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 R666, ...

An introduction to mathematical thought

por Stabler, Edward Russell.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Cambridge, Mass. : Addison-Wesley, 1953Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 S77.

Introduction to symbolis logic and its applications

por Carnap, Rudolf, 1891-1970.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: New York : Dover, 1958Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 C288.

Introduction to the foundations of mathematics Raymond Louis Wilder

por Wilder, Raymond Louis.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : Wiley, [1952]Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.18 W673.

Intuitionism : an introduction

por Heyting, Arend.

Tipo de material: Texto Texto Detalles de publicación: Amsterdam : Noord-Hollandsche Uitgevers Mij, 1956Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 H621.

Klassische Mathematik in zeitgemasser Darstellung / H. B. Griffiths, P. J. Hilton

por Griffiths, Hubert B | Hilton, Peter John.

Series Studia mathematica/mathematische Lehrbücher ; ; v. 26, 27, 28Tipo de material: Texto Texto; Forma literaria: No es ficción Editor: Göttingen : Vanderhoeck & Ruprecht, 1976-78Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (3) Signatura topográfica: 515 G849 V.1, ...

Limitaciones matemáticas de los métodos de computación Rodrigo Valenzuela C.

por Valenzuela C., Rodrigo.

Series Fascículos para la Comprensión de la Ciencia, las Humanidades y la Tecnología ; no.12Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Santiago : Universitaria, 1978Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 V161, .., Biblioteca Sede Viña del Mar (2) Signatura topográfica: 511.3 V161 1978, ...

The logic design of transistor digital computers

por Maley, Gerald A | Earle, John.

Series Prentice-Hall international series in electrical engineeringTipo de material: Texto Texto; Forma literaria: No es ficción Editor: Englewood Cliffs : Prentice-Hall, 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.38152 M248.

Logic for mathematicians

por Rosser, John Barkley.

Series International series in pure and applied mathematicsTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : McGraw-Hill, 1953Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (3) Signatura topográfica: 511.3 R828, ...

Logic for problem solving Robert Kowalski

por Kowalski, Robert.

Series The computer science library. Artificial intelligence series ; ; 7Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : North-Holland, 1979Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 006.3 K88.

Logic in elementary mathematics Robert M. Exner, Myron F. Rosskopf

por Exner, Robert M | Rosskopf, Myron Frederick.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : McGraw-Hill, 1959Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 E96.

Logic y algorithms: with applications to the computer and informatión sciences

por Korfhage, Robert R.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : John Wiley & Sons, 1966Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 K84.

Lógica algébraica e automatismo

por Oniga, Theodore.

Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Rio de Janeiro : Ministerio do Trabalho Indústria e Comérce, 1954 Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 O58.

Lógica y algoritmos: Con aplicaciones a las ciencias de la computación e información Robert r. Korfage

por Korfhage, Robert R.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: México: Editorial Limusa, 1974Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Concepción (2) Signatura topográfica: 511.3 K841, ...

Logique et organes des calculatrices numériques: maîtrise d'informatique Guy G. Boulaye

por Boulaye, Guy G.

Series Collection Dunod UniversitéTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Paris: Dunod, 1970Disponibilidad: Ítems disponibles para préstamo: Biblioteca Sede Concepción (1) Signatura topográfica: 511.3 B663.

Páginas