Normal view MARC view ISBD view

Logic Symposia : Hakone, 1979, 1980 : Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / Ed. by G.H. Muller, G. Takeuti, and T. Tugue.

TextLanguage: English Series: Lecture notes in mathematics (Springer-Verlag) ; 891.Publication details: Berlin ; New York : Springer-Verlag, 1981Description: xi, 394 p. ; 25 cmISBN: 0387111611 (U.S. : pbk.)Subject(s): Logic, Symbolic and mathematical -- CongressesDDC classification: 510 s | 511.3

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Notes	Date due	Barcode
Գրքեր/Books	Fundamental Scientific Library	Gulbenkian Individual Collection	Gulb/5625 (Browse shelf(Opens below))	Available	ILL Non-Circ.		FL0013592
Գրքեր/Books	Fundamental Scientific Library	Gulbenkian Individual Collection	Gulb/5861 (Browse shelf(Opens below))	Available	ILL Non-Circ.		FL0015205

Previous								Next
Previous	Gulb/5859 Operator algebras and quantum statistical mechanics /	Gulb/586 Torque converters or transmissions : For use with combution engines in road and rail vehicles, tractors and locomotives : Mechanical, hydraulic, electric, differential. Stepped and continuously-variable. Hand-controlleddd, automatic and semi-automatic /	Gulb/5860 The transfer of molecular energies by collision : Recent quantum treatments /	Gulb/5861 Logic Symposia : Hakone, 1979, 1980 : Proceedings of Conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 /	Gulb/5862 Seminaire de probabilites XVII, 1981/82 : Proceedings /	Gulb/5863 Iterated inductive definitions and subsystems of analysis : Recent proof-theoretical studies /	Gulb/5864 Starting with the unit circle : Background to higher analysis : with 6 illustrations /	Next

Includes bibliogr. references

There are no comments on this title.

to post a comment.