Atención: recuerde que este es un catálogo parcial de nuestra colección.

Búsqueda por código de MSC 2000:
    03B - General logic
Mostrando 1-20 de 58 resultados, ordenados por

Imagen de la tapa

Mathematical logic

Stephen Cole Kleene.

Dover ed.

Mineola, N.Y. : Dover, 2002.

Ubicación:

  • 03
    K63-2

Imagen de la tapa

Finitely axiomatizable theories

Mikhail G. Peretyat'kin.

New York : Consultants Bureau, ©1997.

Ubicación:

  • 03
    P437

A course in mathematical logic

by J. L. Bell and M. Machover.

Amsterdam : North-Holland, 1977.

Ubicación:

  • 03
    B433c

A contemporary introduction to logic with applications

K. Codell Carter.

Beverly Hills, Calif. : Glencoe Press, ©1977.

Ubicación:

  • 03
    C323

Handbook of mathematical logic

edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al.].

Amsterdam : North-Holland, 1977.

Ubicación:

  • 03
    H236

Logic in algebraic form : three languages and theories

William Craig.

Amsterdam : North-Holland ; New York : American Elsevier, 1974.

Ubicación:

  • 03
    C886

Lógica simbólica

Manuel Garrido.

1ª reimpr. rev.

Madrid : Tecnos, 1974.

Ubicación:

  • 03
    G241

Introducción a la metamatemática

Stephen Cole Kleene ; [traducción por Manuel Garrido].

Madrid : Tecnos, ©1974.

Ubicación:

  • 03
    K63ie

Conceptual models in mathematics : sets, logic and probability

by K. E. Hirst, F. Rhodes.

London : Allen and Unwin, 1971.

Ubicación:

  • 03
    H669

Logic, automata, and algorithms

Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonover, Irina M. Smirnova, Aleksey A. Tal´ ; translated by Scripta Technica ; translation editor, George M. Kranc.

New York : Academic Press, 1971.

Ubicación:

  • 68
    L832

A profile of mathematical logic

Howard DeLong.

Reading, Mass. : Addison-Wesley, ©1970.

Ubicación:

  • 03
    D361

Understanding symbolic logic

Gerald J. Massey.

New York : Harper & Row, ©1970.

Ubicación:

  • 03
    M416

Symbolic logic : an introduction

Richmond H. Thomason.

[New York] : Macmillan, ©1970.

Ubicación:

  • 03
    T463

An introduction to mathematical logic

Gerson B. Robison.

Englewood Cliffs, N.J. : Prentice-Hall, ©1969.

Ubicación:

  • 03
    R666

The foundation of mathematics

by Pieter J. van Heerden.

Wassenaar : Uitg. Wistik, ©1968.

Ubicación:

  • 03
    H459

Introducción a la lógica : y a la metodología de las ciencias deductivas

Alfred Tarski ; traducción de T. R. Bachiller y J. R. Fuentes.

2ª ed. / revisada conforme a la 3ª inglesa por O. Chateaubriand y M. A. Dickman.

Madrid : Espasa-Calpe, 1968.

Ubicación:

  • 03
    T193ie

Mathematical logic

Stephen Cole Kleene.

New York : Wiley, ©1967.

Ubicación:

  • 03
    K63
  • Ej. 2:
    03
    K63

Polish logic : 1920-1939

papers by Ajdukiewicz ... [et al.] ; with an introduction by Tadeusz Kotarbinski ; edited by Storrs McCall ; translated by B. Gruchman ... [et al.].

Oxford : Clarendon Press, 1967.

Ubicación:

  • 03
    P768

Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats

Daniel Ponasse.

Paris : O.C.D.L., ©1967.

Ubicación:

  • 03
    P792

Mathematical logic

Joseph R. Shoenfield.

Reading, Mass. : Addison-Wesley, ©1967.

Ubicación:

  • 03
    Sh559

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos