LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3
Title	Mathematical Logic and Applications ([EBook] :) : Proceedings of the Logic Meeting held in Kyoto, 1987 / / edited by Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman.
Added Personal Name	Shinoda, Juichi editor.
	Tugué, Tosiyuki editor.
	Slaman, Theodore A. editor.
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1989.
Physical Details	V, 226 p. : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 1388
ISBN	9783540482208
Summary Note	These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.:
Contents note	Recursively enumerable sets in models of ?2 collection -- The role of a filter quantifier in set theory -- Syntactical simulation of many-valued logic -- Consistency of Beeson's formal system RPS and some related results -- Elementary properties of a system of fundamental sequences for ?o -- The continuum hypothesis and the theory of the Kleene degrees -- ?1-Collection and the finite injury priority method -- Computational complexity of languages counting random oracles -- Infinitesimal calculus interpreted in infinitary logic.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/BFb0083663
Links to Related Works	Subject References: Mathematical logic . Mathematical Logic and Foundations . Mathematics . Mathematics Education . Authors: Shinoda, Juichi . Slaman, Theodore A. . Tugué, Tosiyuki . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 511.3 .

Catalogue Display

Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 /

Reviews