Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03B05 - Classical propositional logic
Mostrando 1-12 de 12 resultados, ordenados por

Cálculo proposicional implicativo clásico

Antonio A. R. Monteiro ; redactor: Luiz F. Monteiro.

Bahía Blanca : Instituto de Matemática, 2005.

Ubicación:

  • ITI-90
    (Vieja ubicación)

Theory of logical calculi : basic theory of consequence operations

Ryszard Wójcicki.

Dordrecht ; Boston : Kluwer Academic Publishers, ©1988.

Ubicación:

  • 03
    W847

Imagen de la tapa

Algebraic logic

S. G. Gindikin ; translated by Robert H. Silverman.

New York : Springer-Verlag, ©1985.

Ubicación:

  • 03
    G492

Elements of the theory of completeness in propositional logic

Witold A. Pogorzelski, Piotr Wojtylak.

Katowice [Polonia] : Silesian University, 1982.

Ubicación:

  • 03
    P746

Introduction to logic

Dennis J. Packard, James E. Faulconer.

New York : D. Van Nostrand, ©1980.

Ubicación:

  • 03
    P119

Understanding symbolic logic

Gerald J. Massey.

New York : Harper & Row, ©1970.

Ubicación:

  • 03
    M416

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

Introduction à la logique mathématique

P. S. Novikov ; traduit par Ch. Sarthou.

Paris : Dunod, 1964.

Ubicación:

  • 03
    N943f

Cours de logique mathématique sémantique. Tome 1

par R. Fraïssé.

[Paris?] : Centre National de la Recherche Scientifique, Institut Blaise Pascal, Laboratoire de Calcul Numérique, 1962.

Ubicación:

  • Tomo I:
    03
    F812c

Introduction to semantics : and Formalization of logic

by Rudolf Carnap.

Cambridge, Massachusetts : Harvard University Press, 1959.

Ubicación:

  • 03
    C288i

Formal logic

by A. N. Prior.

Oxford : Clarendon Press, 1955.

Ubicación:

  • 03
    P958

The elements of mathematical logic

Paul C. Rosenbloom.

1st ed.

New York : Dover, 1950.

Ubicación:

  • 03
    R813
  • Ej. 2:
    03
    R813

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