yr 〜
yr

Search results 16

Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski. (Studies in logic and the foundations of mathematics ; v. 64, 115)

Cylindric algebras. [By] Leon Henkin, J. Donald Monk [and] Alfred Tarski. (Studies in logic and the foundations of mathematics ; v. 64, 115)
Paper図書
North-Holland Pub. Co.1971-1985.<MA41-30>
National Diet Library
  • Author HeadingHenkin, Leon. Monk, J. Donald (James Donald...

Cylindric set algebras. (Lecture notes in mathematics ; 883)

Cylindric set algebras. (Lecture notes in mathematics ; 883)
Paper図書
Springer-Verlag1981.<MA41-185>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHenkin, Leon. Andréka, H.

Mathematics : report of the Project 2061 Phase I Mathematics Panel

Mathematics : report of the Project 2061 Phase I Mathematics Panel
Paper図書
by David Blackwell and Leon Henkin [panel cochairs]American Association for the Advancement of Science1989
Other Libraries in Japan

Proceedings. Edited by Leon Henkin and [others]. (Proceedings of symposia in pure mathematics, v. 25)

Proceedings. Edited by Leon Henkin and [others]. (Proceedings of symposia in pure mathematics, v. 25)
Paper図書
Published for the Association for Symbolic Logic by American Mathematical Society1974.<MA21-139>
National Diet Library
  • Author HeadingTarski, Alfred. Henkin, Léon. University of California, Ber...

Cylindric set algebras : Berlin : New York

Cylindric set algebras : Berlin : New York
Paper図書
Springer-Verlag1981
Other Libraries in Japan

The axiomatic method with special reference to geometry and physics. Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958. Edited by Leon Henkin, Patrick Suppes [and] Alfred Tarski. (Studies in logic and the foundations of mathematics)

The axiomatic method with special reference to geometry and physics. Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958. Edited by Leon Henkin, Patrick Suppes [and] Alfred Tarski. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1959.<160-H513a>
National Diet Library
  • Author HeadingHenkin, Leon.

Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday

Proceedings of the Tarski Symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday
Paper図書
edited by Leon Henkin ... [et al.]Published for the Association for Symbolic Logic by the American Mathematical Society1974
Other Libraries in Japan

La structure algébrique des théories mathématiques. (Collection de logique mathématique, sér. A, 11)

La structure algébrique des théories mathématiques. (Collection de logique mathématique, sér. A, 11)
Paper図書
Gauthier-Villars1956.<MA41-3(11)>
National Diet LibraryOther Libraries in Japan
  • Author HeadingHenkin, Leon.

Cylindric algebras pt. 1 pt. 2

Cylindric algebras pt. 1 pt. 2
Paper図書
[By] Leon Henkin, J. Donald Monk [and] Alfred TarskiNorth-Holland Pub. Co.1971-1985
Other Libraries in Japan

Logical systems containing only a finite number of symbols

Logical systems containing only a finite number of symbols
Paper図書
Presses de l'Université de Montréal1967
Other Libraries in Japan

Logical systems containing only a finite number of symbols

Logical systems containing only a finite number of symbols
Paper図書
Presses de l'Université de Montréal1966
Other Libraries in Japan

Basic research in the foundations of mathematics : research project supported by the National Science Foundation Grants G6693, G14006, G19673, and GP-1395 : report for the period July 1, 1961-June 30, 1964

Basic research in the foundations of mathematics : research project supported by the National Science Foundation Grants G6693, G14006, G19673, and GP-1395 : report for the period July 1, 1961-June 30, 1964
Paper図書
prepared by Leon Henkin, William Rupley, and Alfred Tarski ; the staff of the research project: Rober Bradford ... [et al.]Dept. of Mathematics, University of California1965
Other Libraries in Japan

The theory of models : proceedings of the 1963 International Symposium at Berkeley

The theory of models : proceedings of the 1963 International Symposium at Berkeley
Paper図書
edited by J.W. Addison, Leon Henkin, Alfred TarskiNorth-Holland1965
Other Libraries in Japan

Retracing elementary mathematics

Retracing elementary mathematics
Digital図書
Leon Henkin ... [et al.]Macmillan1962
Other Libraries in Japan

О математической индукции

О математической индукции
Paper図書
Л. Генкин ; перевод с английского М.Д. Гриндлингера и Е.И. Гриндлингер ; под редакцинй И.М. ЯгломаГос. изд-во физико-математеческой лит-ры1962
Other Libraries in Japan

The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958

The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958
Paper図書
edited by Leon Henkin, Patrick Suppes, Alfred TarskiNorth-Holland1959
Other Libraries in Japan

Reached to the end of result.