Jump to main content

yr 〜
yr

Search results 20

Kreisel's interests : on the foundations of logic and mathematics

Kreisel's interests : on the foundations of logic and mathematics
Paper図書
edited by Paul Weingartner, Hans-Peter LeebCollege Publicationsc2020
Other Libraries in Japan
  • Subject HeadingMatemáticas -- Filosofía Lógica matemática Kreisel, Georg
  • Subject Heading (ID)Matemáticas -- Filosofía Lógica matemática Kreisel, Georg

The lambda calculus : its syntax and semantics / H.P. Barendregt. (Studies in logic and the foundations of mathematics ; v. 103)

The lambda calculus : its syntax and semantics / H.P. Barendregt. (Studies in logic and the foundations of mathematics ; v. 103)
Paper図書
North-Holland Pub. Co.1981.<MA41-180>
National Diet Library
  • Subject HeadingLambda calculus. Logica Matematica.

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre. (Lecture notes in mathematics ; 890)

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre. (Lecture notes in mathematics ; 890)
Paper図書
Springer1981.<MA41-184>
National Diet Library
  • Subject HeadingModel theory. Logica Matematica.

Southeast Asian Conference on Logic / proceedings of the Logic Conference, Singapore, 1981 ; edited by C.-T. Chong and M.J. Wicks. (Studies in logic and the foundations of mathematics ; v.3)

Southeast Asian Conference on Logic / proceedings of the Logic Conference, Singapore, 1981 ; edited by C.-T. Chong and M.J. Wicks. (Studies in logic and the foundations of mathematics ; v.3)
Paper図書
North-Holland1983.<MA41-191>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Logica Matematica. Teoria Dos Conjuntos. Mathem...

The theory of ultrafilters / W. W. Comfort, S. Negrepontis. (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 211)

The theory of ultrafilters / W. W. Comfort, S. Negrepontis. (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 211)
Paper図書
Springer-Verlag1974.<MA41-76>
National Diet Library
  • Subject HeadingUltrafilters (Mathematics) Logica Matematica.

An algebraic approach to non-classical logics. (Studies in logic and the foundations of mathematics, v. 78)

An algebraic approach to non-classical logics. (Studies in logic and the foundations of mathematics, v. 78)
Paper図書
North-Holland Pub. Co.1974.<H35-59>
National Diet Library
  • Subject HeadingAlgebraic logic. Logica Matematica.

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 / Centre national de la recherche scientifique. (Colloques internationaux du Centre national de la recherche scientifique ; no 249)

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 / Centre national de la recherche scientifique. (Colloques internationaux du Centre national de la recherche scientifique ; no 249)
Paper図書
Éditions du C.N.R.S.1977.<MA41-132>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical -- Congresses. Logic -- Congresses. Logica Matematica.

Cambridge Summer School in Mathematical Logic; [papers] Edited by A. R. D. Mathias [and] H. Rogers. (Lecture notes in mathematics, v. 337)

Cambridge Summer School in Mathematical Logic; [papers] Edited by A. R. D. Mathias [and] H. Rogers. (Lecture notes in mathematics, v. 337)
Paper図書
Springer-Verlag1973.<H35-57>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical -- Congresses. Logica Matematica.

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

Principles of intuitionism. [By] A. S. Troelstra. (Lecture notes in mathematics, 95)
Paper図書
Springer1969.<MA41-17>
National Diet Library
  • Subject HeadingIntuitionistic mathematics. Logica Matematica.

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.
Paper図書
Cremonese1969.<H35-20>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Logica Matematica.

Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August, 1969. Edited by R. O. Gandy [and] C. M. E. Yates. (Studies in logic and the foundations of mathematics, 61)

Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August, 1969. Edited by R. O. Gandy [and] C. M. E. Yates. (Studies in logic and the foundations of mathematics, 61)
Paper図書
North-Holland1971.<H35-45>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Recursive functions. Set theory. Logica Matematica.

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)
Paper図書
North-Holland1968.<H35-8>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Logica Matematica.

Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel. Edited by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn.

Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel. Edited by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn.
Paper図書
Springer1969.<MA41-18>
National Diet Library
  • Subject HeadingGödel, Kurt. Logic, Symbolic and mathematical. Mathematics -- Philosophy. Logica Matematica.

A transfinite type theory with type variables, by P.B. Andrews. (Studies in logic and the foundations of mathematics)

A transfinite type theory with type variables, by P.B. Andrews. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1965.<512.81-A568t>
National Diet Library
  • Subject HeadingType theory. Logica. Logica Matematica.

A survey of mathematical logic. (Studies in logic and the foundations of mathematics)

A survey of mathematical logic. (Studies in logic and the foundations of mathematics)
Paper図書
Science Press1963.<164-W246s>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical. Mathematical analysis. Logica Matematica.

Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. (Studies in logic and the foundations of mathematics)

Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig. (Studies in logic and the foundations of mathematics)
Paper図書
North-Holland Pub. Co.1958-72.<164-C976c>
National Diet Library
  • Subject HeadingCombinatory logic. Logica Matematica.

A precis of mathematical logic; translated from the French and German editions by Otto Bird. (Synthese library)

A precis of mathematical logic; translated from the French and German editions by Otto Bird. (Synthese library)
Paper図書
D. Reidel Pub. Co.[1959]<H35-93>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Logica Matematica (Textos Introdutorios)

Introduction to mathematical logic. (Princeton mathematical series, 17)

Introduction to mathematical logic. (Princeton mathematical series, 17)
Paper図書
Princeton University Press1956-<164-C561i>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical. Logica Matematica.

An introduction to symbolic logic. 2d ed. (rev.)

An introduction to symbolic logic. 2d ed. (rev.)
Paper図書
Dover Publications[1953]<164-L276i2>
National Diet Library
  • Subject HeadingLogic, Symbolic and mathematical. Logica Matematica (Textos Introdutorios)

The elements of mathematical logic. [1st ed. (The Dover series in mathematics and physics)

The elements of mathematical logic. [1st ed. (The Dover series in mathematics and physics)
Paper図書
Dover Publications1950.<164-R813e>
National Diet Library
  • Subject Heading... mathematical. Logica Matematica. Logica. Logica Matematica (Textos Introdutorios)

Reached to the end of result.

RSS