年 〜
年

検索結果 66 件

The collected papers of Gerhard Gentzen. Edited by M. E. Szabo. (Studies in logic and foundations of mathematics)

The collected papers of Gerhard Gentzen. Edited by M. E. Szabo. (Studies in logic and foundations of mathematics)
紙図書
North-Holland Pub. Co.1969.<H35-21>
国立国会図書館
  • DDC164

Symposium on Automatic Demonstration; edited by M. Laudet [and others]. (Lecture notes in mathematics, 125)

Symposium on Automatic Demonstration; edited by M. Laudet [and others]. (Lecture notes in mathematics, 125)
紙図書
Springer-Verlag1970.<H35-22>
国立国会図書館
  • DDC164

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley. (Studies in logic and the foundations of mathematics)

Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley. (Studies in logic and the foundations of mathematics)
紙図書
North-Holland Pub. Co.1970.<MA41-29>
国立国会図書館
  • DDC164

Principles of intuitionism. [By] A. S. Troelstra. (Lecture notes in mathematics, 95)

Principles of intuitionism. [By] A. S. Troelstra. (Lecture notes in mathematics, 95)
紙図書
Springer1969.<MA41-17>
国立国会図書館
  • DDC164

Simplified independence proofs; Boolean valued models of set theory [by] J. Barkley Rosser. (Pure and applied mathematics, a series of monographs and textbooks ; v. 31)

Simplified independence proofs; Boolean valued models of set theory [by] J. Barkley Rosser. (Pure and applied mathematics, a series of monographs and textbooks ; v. 31)
紙図書
Academic Press1969.<MA41-20>
国立国会図書館
  • DDC164

History of mathematical logic from Leibniz to Peano [by] N. I. Styazhkin.

History of mathematical logic from Leibniz to Peano [by] N. I. Styazhkin.
紙図書
M.I.T. Press[c1969]<H35-44>
国立国会図書館
  • DDC164

Mathematical logic and Hilbert's & symbol [by] A. C. Leisenring. (University mathematical series)

Mathematical logic and Hilbert's & symbol [by] A. C. Leisenring. (University mathematical series)
紙図書
Macdonald Technical & Scientific1969.<MA41-31>
国立国会図書館
  • DDC164

Aspects of mathematical logic. III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari.

Aspects of mathematical logic. III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari.
紙図書
Cremonese1969.<H35-20>
国立国会図書館
  • DDC164

First-order logic [by] Raymond M. Smullyan. (Ergebnisse der Mathematik und ihrer Grenzgebiete, Bd. 43)

First-order logic [by] Raymond M. Smullyan. (Ergebnisse der Mathematik und ihrer Grenzgebiete, Bd. 43)
紙図書
Springer-Verlag1968.<H35-15>
国立国会図書館
  • DDC164

The Syntax and semantics of infinitary languages, edited by Jon Barwise. (Lecture notes in mathematics, 72)

The Syntax and semantics of infinitary languages, edited by Jon Barwise. (Lecture notes in mathematics, 72)
紙図書
Springer-Verlag1968.<MA41-13>
国立国会図書館
  • DDC164

Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth. [Von] Christian Fenske. (Forschungsberichte des Landes Nordrhein-Westfalen, Nr. 1740) ("Schriften der IIM, Serie A, Nr. 13")

Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth. [Von] Christian Fenske. (Forschungsberichte des Landes Nordrhein-Westfalen, Nr. 1740) ("Schriften der IIM, Serie A, Nr. 13")
紙図書
Westdeutscher Verlag1967.<M21-24(1740)>
国立国会図書館
  • DDC164

Cours de logique mathematique ... (Collection de logique mathématique, sér. A., no. 23, 24, 25)

Cours de logique mathematique ... (Collection de logique mathématique, sér. A., no. 23, 24, 25)
紙図書
Gauthier-Villars1967-<H35-10>
国立国会図書館
  • DDC164

Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic. Edited by M.H. Löb. (Lecture notes in mathematics, 70)

Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic. Edited by M.H. Löb. (Lecture notes in mathematics, 70)
紙図書
Springer-Verlag1968.<H35-11>
国立国会図書館
  • DDC164

Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966. Edited by H. Arnold Schmidt, K. Schütte [and] H.J. Thiele. (Studies in logic and the foundations of mathematics)

Contributions to mathematical logic. Proceedings of the Logic Colloquium, Hannover 1966. Edited by H. Arnold Schmidt, K. Schütte [and] H.J. Thiele. (Studies in logic and the foundations of mathematics)
紙図書
North-Holland1968.<H35-8>
国立国会図書館
  • DDC164

Communication: a logical model. (M.I.T. Press research monographs, 15th)

Communication: a logical model. (M.I.T. Press research monographs, 15th)
紙図書
M. I. T. Press1967.<H35-14>
国立国会図書館
  • DDC164

Elements of mathematical logic. (Model theory) [By] G. Kreisel and J. L. Krivine. (Studies in logic and the foundations of mathematics)

Elements of mathematical logic. (Model theory) [By] G. Kreisel and J. L. Krivine. (Studies in logic and the foundations of mathematics)
紙図書
North Holland Pub. Co.1967.<H35-4>
国立国会図書館
  • DDC164

Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964. (Acta philosophica Fennica, fasc. 17)

Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964. (Acta philosophica Fennica, fasc. 17)
紙図書
Blackwell1966.<164-M916t>
国立国会図書館
  • DDC164 511.3

Wissenschaftstheoretische Untersuchungen in algorithmischen Sprachen, von H. Thiele. (Mathematische Forschungsberichte, 21)

Wissenschaftstheoretische Untersuchungen in algorithmischen Sprachen, von H. Thiele. (Mathematische Forschungsberichte, 21)
紙図書
Deutscher Verlag der Wissenschaften VEB1966-<164-T431w>
国立国会図書館
  • DDC164 510.782

Aspects of inductive logic, edited by Jaakko Hintikka [and] Patrick Suppes. (Studies in logic and the foundations of mathematics)

Aspects of inductive logic, edited by Jaakko Hintikka [and] Patrick Suppes. (Studies in logic and the foundations of mathematics)
紙図書
North Holland Pub. Co.1966.<164-H666a>
国立国会図書館
  • DDC164 161

Continuous model theory, by Chen Chung Chang and H. Jerome Keisler. (Annals of mathematics studies, no. 58)

Continuous model theory, by Chen Chung Chang and H. Jerome Keisler. (Annals of mathematics studies, no. 58)
紙図書
Princeton University Press1966.<164-C456c>
国立国会図書館
  • DDC164