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

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Non-classical logics, model theory, and computability Campinas, Brazil
Weitere Verfasser: Arruda, A. I. (Ayda Ignez) (HerausgeberIn), Costa, Newton C. A. da (HerausgeberIn), Chuaqui, R. (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:Englisch
Veröffentlicht: Amsterdam : North-Holland, 1977
Schriftenreihe:Studies in logic and the foundations of mathematics ; vol. 89
Schlagworte:
logika
teória kalkulov
ISBN:0720407524
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:xviii, 307 s. : lit. ; 23 cm
ISBN:0720407524

Ähnliche Einträge