yr 〜
yr

Search results 9

Matematicheskai͡a logika : katalog zarubezhnykh knig Biblioteki Akademii nauk SSSR, 1950-1971 gg. / sostaviteli I. A. Lifshchit͡s, G. E. Mint͡s ; otv. redaktor G. E. Mint͡s.

Matematicheskai͡a logika : katalog zarubezhnykh knig Biblioteki Akademii nauk SSSR, 1950-1971 gg. / sostaviteli I. A. Lifshchit͡s, G. E. Mint͡s ; otv. redaktor G. E. Mint͡s.
Paper図書
Biblioteka Akademii nauk SSSR1974.<H1-10>
National Diet Library
  • Subject HeadingAkademii͡a nauk SSSR. Biblioteka. Logic, Symbolic and mathematical -- Bibliography -- Catalogs.

Classical logic : Germany : U.S.

Classical logic : Germany : U.S.
Paper図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Bibliography
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Bibliography

Set theory : Germany : U.S.

Set theory : Germany : U.S.
Paper図書
Andreas R. Blass (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Bibliography
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Bibliography

Model theory : Germany : U.S.

Model theory : Germany : U.S.
Paper図書
Heinz-Dieter Ebbinghaus (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Bibliography
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Bibliography

Proof theory, constructive mathematics : Germany : U.S.

Proof theory, constructive mathematics : Germany : U.S.
Paper図書
Jane E. Kister, Dirk van Dalen & Anne S. Troelstra (editors)Springer-Verlagc1987
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Bibliography
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Bibliography

Recursion theory : Germany : U.S.

Recursion theory : Germany : U.S.
Paper図書
Peter G. Hinman (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Bibliography
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Bibliography

Non-classical logics : Germany : U.S.

Non-classical logics : Germany : U.S.
Paper図書
Wolfgang Rautenberg (editor)Springer-Verlagc1987
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Bibliography
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Bibliography

A bibliography of symbolic logic, 1666-1935 Rev. and expanded ed

A bibliography of symbolic logic, 1666-1935 Rev. and expanded ed
Paper図書
by Alonzo ChurchAssociation for Symbolic Logic1984
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Bibliography
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Bibliography

Symbolische Logik und Grundlegung der exakten Wissenschaften

Symbolische Logik und Grundlegung der exakten Wissenschaften
Paper図書
von E.W. BethA. Francke1948
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical -- Bibliography
  • Subject Heading (ID)Logic, Symbolic and mathematical -- Bibliography

Reached to the end of result.