城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:207件
Selected works, Jan Lukasiewicz / edited by L. Borkowski ; [translated from the Polish by O. Wojtasiewicz]
Amsterdam ; London : North-Holland , 1970. - (Studies in logic and the foundations of mathematics)
図書
Logic Colloquim '86 / ed. by F.R. Drake and J.K. Truss.
124. - Amsterdam : North-Holland , 1988. - (Studies in logic and the foundations of mathematics ; 124)
Studies in logic / by members of the Johns Hopkins University (1883) ; edited by Charles S. Peirce ; with an introduction by Max H. Fisch and a preface by Achim Eschbach.
Amsterdam, Netherlands : John Benjamins Publishing Company , 1983. - (Foundations of semiotics ; v. 1)
Logic for mathematicians / A. G. Hamilton.
Cambridge, England : Cambridge University Press , 1978
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk.
Dordrecht, Holland : D. Reidel Pub. Co. , {1974}
Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski.
New York : Wiley , 1997. - (Pure and applied mathematics (Wiley))
Logical investigations / Gottlob Frege ; edited with a preface by P. T. Geach ; translated by P. T. Geach and R. H. Stoothoff.
Oxford : Blackwell , 1977. - (Library of philosophy and logic)
What is mathematical logic? / {By} J. N. Crossley {and others}
London : Oxford University Press , 1972
Introduction to mathematical logic. vol. 1
Princeton, N.J. : Princeton University Press , 1956. - (Princeton mathematical series)
Elements of symbolic logic
92625. - New York : Free Press , {1966, c1947}. - (A Free Press paperback ; 92625)
Formale Logik
Bd. 1176/1176a. - 2. verb. Aulf.. - Berlin : W. de Gruyter , 1962. - (Sammlung Goschen ; Bd. 1176/1176a)
Mathematical interpretation of formal systems / {by} Th. Skolem {and others}.
Amsterdam : North-Holland , 1955. - (Studies in logic and the foundations of mathematics)
Einfuhrung in die symbolische Logik mit besonderer Berucksichtigung ihrer Anwendungen / Mit 5. Textabbildungen.
3., unverC̄nderte Aufl.. - Wien : Springer , 1968
Symbolic logic
New York : Palgrave , {1954}
Grundzuge der theoretischen Logik / {von} D. Hilbert und W. Ackermann.
Bd.27. - 4. Aufl.. - Berlin : Springer , 1959. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd.27)
Grundzuge der mathematischen Logik / von Heinrich Scholz und Gisbert Hasenjaeger.
Bd. 106. - Berlin : Springer , 1961. - (Die Grundiehren der mathematischen Wissenschaften in Einzeldarstellungen und besonderer Berucksichtigng der Anwendungsgebiete ; Bd. 106)
An introduction to modern logic; an elementary textbook of symbolic logic
New York : Harper , {1960}
Languages with expressions of infinite length
Amsterdam : North-Holland , 1964. - (Studies in logic and the foundations of mathematics)
Solvable cases of the decision problem
Amsterdam : North-Holland , 1962 {c1954}. - (Studies in logic and the foundations of mathematics)
Einfuhrung in die mathematisch Logik. Teil 1
ZN̄rich : H. Deutsch , 1965 {c1964-