Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /

Saved in:
Bibliographic Details
Corporate Author: Non-classical logics, model theory, and computability Campinas, Brazil
Other Authors: Arruda, A. I. (Ayda Ignez) (Editor), Costa, Newton C. A. da (Editor), Chuaqui, R. (Editor)
Format: Conference Proceeding Book
Language:English
Published: Amsterdam : North-Holland, 1977
Series:Studies in logic and the foundations of mathematics ; vol. 89
Subjects:
logika
teória kalkulov
ISBN:0720407524
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold and recall information

Internet

Get full text

CVTI sklad absenčný

Holdings details from CVTI sklad absenčný
Call Number: A361229
Copy On Shelf

Similar Items