Resultados
|
|
Algebraic logic por Halmos, Paul R. (Paul Richard), 1916-2006. Tipo de material: 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.
|
|
|
|
|
|
|
|
|
Beginnig logic por Lemmon, Edward John. Tipo de material: 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; 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; 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.
|
|
|
|
|
|
Computability : an introduction to recursive function theory por Cutland, Nigel. Tipo de material: 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 Detalles de publicación: Buffalo : SUNY/ Buffalo, 1972Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.381952 S989 1972.
|
|
|
|
|
|
|
|
|
|
|
|
Elemente de logica matematica por Tirnoveanu, Mircea. Tipo de material: 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.
|
|
|
|
|
|
|
|
|
|
|
|
Elements of symbolic logic. por Reichenbach, H. (Hans), 1936-. Tipo de material: 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; 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; 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.
|
|
|
|
|
|
Essais sur les logiques non chrysippiennes. por Moisil, Grigore C. Tipo de material: 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.
|
|
|
|
|
|
Fundamental concepts of modern mathematics / Max D. Larsen por Larsen, Max D [, autor]. Tipo de material: 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; Formato:
impreso Detalles de publicación: Berlin : Springer-Verlag, c1988Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.8 B181.
|
|
|
|
|
|
Fuzzy automata and decision processes por Gupta, Madan M | Saridis, George N. Tipo de material: 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.
|
|
|
|
|
|
|
|
|
How to prove it: a structured approach / Daniel J. Velleman por Velleman, Daniel J [, autor]. Edición: Segunda ediciónTipo de material: 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; 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; 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; 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; 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; Formato:
impreso Detalles de publicación: New York : Dover, 1958Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 C288.
|
|
|
|
|
|
Intuitionism : an introduction por Heyting, Arend. Tipo de material: 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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lógica algébraica e automatismo por Oniga, Theodore. Tipo de material: 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.
|
|
|
|
|
|
|