Results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. by Series: Studies in logic and the foundations of mathematics ; v. 89
Material type:  Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Amsterdam ; New York : New York : North-Holland Pub. Co. ; sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 517.11.
|
|
|
|
A course in mathematical logic / by J. L. Bell and M. Machover. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English
Publication details: Amsterdam : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada American Elsevier Pub. Co., 1977
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 517.11.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Moderne Logik : Abriss der formalen Logik / Georg Klaus. by
Edition: [6., erw. Aufl.]
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: German
Publication details: Berlin : Deutscher Verlag der Wissenschaften, 1972
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 16. Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (2).
|
|
|
|
|
|
|
|
|
|
|
|
|