Refinar su búsqueda

Su búsqueda retornó 84 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Ordenar
Resultados
Mathematical foundations of programming Frank S. Beckman

por Beckman, Frank S.

Series The Systems Programming SeriesEdición: 2nd editionTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Reading, Mass. : Addison-Wesley Publishing Company, c1980Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (3) Signatura topográfica: 511.3 B397, ...

Mathematical logic ; a first course.

por Robbin, Joel W.

Series University mathematics seriesTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : W.A. Benjamín, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 511.3 R631, ...

Mathematical logic.

por Shoenfield, Joseph Robert.

Series Addison-Wesley series in logicTipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: reading Mass. : Addison-weslwy Pub.Co. , [1967]Disponibilidad: No disponible:Prestado (2).

Mathematical logic in computer science : proceedings

por Colloquium on Mathematical Logic in Computer Science (1978 : Salgótarján, Hungary) | Dömölki, B., ed.

Series Colloquia Mathematica Societatis János Bolyai ; 26Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Amsterdam : North-Holland, 1981Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 C714.

Mathematiche logik mit informatik anwendungen

por Bergmann, Eberhard | Noll, Helga.

Series Heidelberger Taschenbücher ; ; v.187Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer-Verlag, 1977Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 B499.

Mathematics and plausible reasoning

por Pólya, György.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Princeton, N.J. : Princeton University Press, 1954Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (3) Signatura topográfica: 510.1 P781 V.1, ...

Mathematics and plausible reasoning G. Polya

por Pólya, György.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Princeton : Princeton University Press, 1968-73Disponibilidad: Ítems disponibles para préstamo: Biblioteca Física (2) Signatura topográfica: 510.1 P781 1968 V.1FIS, ...

The mathematics of metamathematics Helena Radiowa, Roman Sikorski

por Rasiowa, Helena | Sikorski, Roman.

Series Instytut Matematyczny Polskiej Akademii Nauk. Monografie Matematyczne ; ; v. 41Edición: 3rd ed.Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Warszawa : Panstwowe Wydawnictwo Naukowe, 1970Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510 R224.

The monadic second order theory of all countable ordinals

por Büchi, J. Richard | Siefkes, Dirk.

Series Lecture notes in mathematicsTipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 B919.

On structural analysis of many-valued logic Hwa-Sung Hsieh

por Na, Hwa-Sung Hsieh.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Urbana : University of Illinois, 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 N111.

Once upon a number: the hidden mathematical logic of stories John Allen Paulos

por Paulos, John Allen.

Edición: 1a ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York: Basic Book, 1998Disponibilidad: Ítems disponibles para préstamo: Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 519.5 P331.

Principles of intuitionism

por Troelstra, Anne Sjerp.

Series Lecture notes in mathematics ; ; no. 95Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: New York : Springer, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 T843.

Problemas de la lógica/ F. Enriques

por Enriques, Federico [, autor].

Series Historia y filosofía de la ciencia. Serie menorTipo de material: Texto Texto; Formato: caracteres normales ; Forma literaria: No es ficción Buenos Aires : Espasa-Calpe, 1947Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 160 E59, ...

Proof theory and intuitionistic systems

por Scarpellini, Bruno.

Series Lecture notes in mathematics ; ; 212Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer-Verlag, 1971Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 S286.

Q. E. D.: beauty in mathematical proof

por Polster, Burkard.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York: Walker & Company, 2004Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (2) Signatura topográfica: 510.1 P778, ...

Semantics of algorithmic languages Edited by E. Engeler

por Symposium on Semantics of Algorithmic Languages (1971 : Berlin) | Engeler, Erwin.

Series Lecture notes in mathematics ; no. 188Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Berlin : Springer-Verlag, 1971Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 S989.

Set theory and its logic

por Quine, W. V. (Willard Van Orman).

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Cambridge : The Belknap press of Harvard University press, 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 Q7.

Set theory and logic

por Stoll, Robert Roth.

Series A series of undergraduate books in mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: San Francisco : W.H. Freeman, 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 S875S.

Set theory and logic / Robert R. Stoll

por Stoll, Robert Roth [,autor].

Tipo de material: Texto Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Editor: New York: Dover Publishing , 1963Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 S875.

Simplified independence proofs : boolean valued models of set theory

por Rosser, John Barkley.

Series Pure and applied mathematics ; ; vo. 31Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1969Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 R828.

Sistemas de circuitos binarios

por Heim, Klaus.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Madrid : Editorial Dossat, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 H467.

Statistical methods and scientific

por Fisher, Sir Ronald Aylmer.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Edinburgh : Cliver and Boyd, 1959Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 519.54 F533.

Studies in algebraic logic

por Daigneault, Aubert.

Series MAA. Studies in mathematics ; 9Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: (Washington) : The Mathematical Association of America, c1974Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 S933.

Studies in foundations and combinatorics

por Rota, Gian-Carlo.

Series Advances in mathematics supplementary studies ; ; vo. 1Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1978Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.5 S933.

Symbolic logic

por Lewis, Clarence Irving | Langford, Cooper Harold.

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

Symbolic logic and mechanical theorem proving

por Chang Chin-Liang | Lee, Richard Char-Tung.

Series Computer science and applied mathematicsTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 C455, Biblioteca Sede Viña del Mar (1) Signatura topográfica: 511.3 C455.

Term logic with choice operator

por Hermes, Hans.

Series Lecture notes in mathematics ; ; 6Tipo de material: Texto Texto; Formato: impreso Detalles de publicación: Berlin : Springer-Verlag, 1970Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 511.3 H553T.

The grammar of mathematics

por Durst, Lincoln K [, autor].

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

Théorie dialectique des probabilités : englobant leurs calculs classique et quantique

por Bodiou, Georges.

Series Traité de physique théorique et de physique mathematique ; , v.20Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Paris : Gauthier-Willars & cie., 1964Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 519 B667.

A theory of sets

por Morse, Anthony Perry.

Series Pure and applied mathematics ; ; 18Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : Academic Press, 1965Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 512.817 M885.

Topics in engineering logic

por Nadler, Norton.

Series International series of monographs on electronics and instrumentation ; ; v. 14Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : MacMillan : 1962Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 621.381952 N137.

Tractatus logico-philosophicus

por Wittgenstein, Ludwing.

Series Alianza universidad ; ; 50Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Alianza Editorial, 1973Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 192 W831.

Tractatus lógico-philosophicus / Ludwig Wittgenstein

por Wittgenstein, Ludwing [autor].

Series El libro universitario. Ensayo. Filosofía y Pensamiento ; ; 31Tipo de material: Texto Texto; Formato: impreso caracteres normales Editor: Madrid : Alianza Editorial, 2002Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 192 W831T, Biblioteca Campus Santiago Vitacura (1) Signatura topográfica: 192 W831T.

Truth functions and the problem of their realization by two-terminal graphs

por Adam, A.

Tipo de material: Texto Texto; Forma literaria: No es ficción Detalles de publicación: Budapest Akadémiai Kiadó, 1968Disponibilidad: Ítems disponibles para préstamo: Biblioteca Central (1) Signatura topográfica: 510.1 A193.

Páginas