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

Uloženo v:
Podrobná bibliografie
Korporativní autor: Non-classical logics, model theory, and computability Campinas, Brazil
Další autoři: Arruda, A. I. (Ayda Ignez) (Editor), Costa, Newton C. A. da (Editor), Chuaqui, R. (Editor)
Médium: Konferenční příspěvek Kniha
Jazyk:angličtina
Vydáno: Amsterdam : North-Holland, 1977
Edice:Studies in logic and the foundations of mathematics ; vol. 89
Témata:
logika
teória kalkulov
ISBN:0720407524
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam a22000001 4500
003 SK-BrCVT
005 20250730083653.0
008 030717s1977 ne f 1 eng
020 |a 0720407524  |q (viaz.) 
040 |a ABA001  |b cze  |c ABA001  |d CVT  |e AACR2 
041 0 |a eng 
044 |a ne  |c NL 
072 |2 CVT  |a 510 
080 1 |a 510.6  |2 2011 
080 1 |a 510.57  |2 2011 
111 2 |a Non-classical logics, model theory, and computability  |n (3rd :  |d July 11-17, 1976 :  |c Campinas, Brazil) 
245 1 0 |a Non-classical logics, model theory, and computability :  |b proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /  |c edited by: A. I. Arruda, N. C. A. da Costa, Rolando Chuaqui 
260 |a Amsterdam :  |b North-Holland,  |c 1977 
300 |a xviii, 307 s. :  |b lit. ;  |c 23 cm 
490 0 |a Studies in logic and the foundations of mathematics ;  |v vol. 89 
653 |a logika 
653 |a teória kalkulov 
700 1 T |a Arruda, A. I.  |q (Ayda Ignez)  |4 edt 
700 1 T |a Costa, Newton C. A. da  |4 edt 
700 1 T |a Chuaqui, R.  |4 edt 
760 1 |t Studies in logic and the foundations of mathematics ;  |g vol. 89 
910 |a ABA001  |b A361229 
919 |a 0-7204-0752-4 
959 |a 08 
974 |a Katarína Repatá  |b Rita Zubonyaiová 
992 |a AMG  |a AZN 
999 |c 303693  |d 303693 

Podobné jednotky