Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda por código de MSC 2000:
    03B20 - Subsystems of classical logic (including intuitionistic logic)
Mostrando 1-5 de 5 resultados, ordenados por

The cosmical knowledge and the human computer : excerpts and supplements

Ion Costescu.

[Timisoara, Romania] : University of Timisoara, 1996.

Ubicación:

  • 03
    C842

Theory of logical calculi : basic theory of consequence operations

Ryszard Wójcicki.

Dordrecht ; Boston : Kluwer Academic Publishers, ©1988.

Ubicación:

  • 03
    W847

Choice sequences : a chapter of intuitionistic mathematics

by A. S. Troelstra.

Oxford : Clarendon Press, 1977.

Ubicación:

  • 03
    T843

Intuitionistic logic, model theory and forcing

Melvin Chris Fitting.

Amsterdam : North-Holland, 1969.

Ubicación:

  • 03
    F547

Intuitionism : an introduction

A. Heyting.

Amsterdam : North-Holland, 1956.

Ubicación:

  • 03
    H621

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