Loading…

Advances in Mathematical Logic dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised contributions /

Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of t...

Full description

Saved in:

Bibliographic Details
Corporate Authors:	Symposium on Advances in Mathematical Logic Kobe, Japan, SpringerLink (Online service)
Other Authors:	Arai, Toshiyasu, Kikuchi, Makoto (Mathematician), Kuroda, Satoru, Okada, Mitsuhiro, Yorioka, Teruyuki
Format:	Conference Proceeding eBook
Language:	English
Published:	Singapore : Springer, 2021.
Series:	Springer proceedings in mathematics & statistics ; v. 369.
Physical Description:	1 online resource (xi, 229 pages).
Subjects:	Logic, Symbolic and mathematical -- Congresses.
Online Access:	SpringerLink - Click here for access

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 by Logic Colloquium Hannover, Germany, ScienceDirect (Online service)

Published: North-Holland, 1968

Description: 1 online resource (xi, 298 pages).

Elsevier - Click here for access

Conference Proceeding eBook

Advances in Mathematical Logic dedicated to the memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, revised contributions /

Similar Items

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 by Logic Colloquium Hannover, Germany, ScienceDirect (Online service)

Mathematical logic Third edition. by Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang, 1947-

Mathematical logic by Chiswell, Ian, 1948-

Mathematical logic 2nd ed. by Ebbinghaus, Heinz-Dieter, 1939-

Mathematical logic by Turing, Alan, 1912-1954

A course on mathematical logic by Srivastava, S. M. (Shashi Mohan)

Mathematical logic : foundations for information science Second rev. edition. by Li, Wei, 1943 June-

Mathematical logic : foundations for information science by Li, Wei, 1943 June-

Foundations of mathematical logic by Curry, Haskell B. (Haskell Brooks), 1900-1982

Language, logic, and mathematics by Kilmister, C. W. (Clive William)

Handbook of mathematical logic by ScienceDirect (Online service)

An invitation to mathematical logic by Marker, D. (David), 1958-

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 by Latin-American Symposium on Mathematical Logic Santiago de Chile, ScienceDirect (Online service)

Advances in applied logics : applications of logic for philosophy, mathematics and information technology by SpringerLink (Online service)

A concise introduction to mathematical logic 2nd ed. by Rautenberg, Wolfgang

Elements of mathematical logic (Model theory) by Kreisel, Georg, Krivine, J. L. (Jean Louis)

Popular lectures on mathematical logic by Wang, Hao, 1921-

Mathematical logic for computer science 3rd ed. by Ben-Ari, M., 1948-

A course on mathematical logic 2nd ed. by Srivastava, S. M. (Shashi Mohan)

Mathematical logic for computer science 2nd ed. by Ben-Ari, M., 1948-

A survey of mathematical logic by ScienceDirect (Online service)

A mathematical introduction to logic 2nd ed. by Enderton, Herbert B.

Fuzzy logic and mathematics : a historical perspective by Bělohlávek, Radim, Dauben, Joseph W., 1944-, Klir, George J., 1932-

Introduction to mathematical logic : set theory, computable functions, model theory by Malitz, Jerome, 1936-

Mathematical logic and model theory : a brief introduction by Prestel, A. (Alexander), 1941-

A course in mathematical logic for mathematicians 2nd ed. by Manin, I͡U. I.

A concise introduction to mathematical logic by Rautenberg, Wolfgang

Logic in elementary mathematics by Exner, Robert M.

The development of mathematical logic by Nidditch, P. H.

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday

Mathematical logic and formalized theories : a survey of basic concepts and results by Rogers, Robert, 1926-

Mathematical problems from applied logic I : logics for the XXIst century by SpringerLink (Online service)

Logical studies of paraconsistent reasoning in science and mathematics by SpringerLink (Online service)

Logic, language, information, and computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings by Workshop on Logic, Language, Information and Computation Bogotá, Colombia, SpringerLink (Online service)

Rethinking logic : logic in relation to mathematics, evolution, and method by Cellucci, Carlo

Towards an arithmetical logic : the arithmetical foundations of logic by Gauthier, Yvon

Mathematical logic : exercises and solutions by Csirmaz, László, Gyenis, Zalán

Aspects of mathematical logic : lectures given at the Centro internazionale matematico estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 by C.I.M.E. Summer School Varenna, Italy, Centro internazionale matematico estivo

Logic : a brief course by Mundici, Daniele, 1946-

Strict finitism and the logic of mathematical applications by Ye, Feng

Similar Items