Logic, Foundations of Mathematics, and Computability...

Main
Logic, Foundations of Mathematics, and...

Logic, Foundations of Mathematics, and Computability Theory: Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Yu. L. Ershov (auth.), Robert E. Butts, Jaakko Hintikka (eds.)

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

年:

1977

出版社:

Springer Netherlands

言語:

english

ページ:

400

ISBN 10:

9401011400

ISBN 13:

9789401011402

シリーズ:

The University of Western Ontario Series in Philosophy of Science 9

ファイル:

PDF, 13.48 MB

IPFS:

,

english, 1977

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

David Corfield — Towards a Philosophy of Real Mathematics

C. A. Hooker (auth.), Robert E. Butts, Jaakko Hintikka (eds.) — Basic Problems in Methodology and Linguistics: Part Three of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

John Archibald Wheeler (auth.), Robert E. Butts, Jaakko Hintikka (eds.) — Foundational Problems in the Special Sciences: Part Two of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada-1975

Hao Wang — A Survey of Mathematical Logic

Joseph R. Shoenfield — Mathematical Logic

Hao Wang — A survey of mathematical logic

Wang H. — A survey of mathematical logic

Shoenfield J.R. — Mathematical logic

Hao Wang — A Survey of Mathematical Logic

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Enderton H.B. — A mathematical introduction to logic

Solomon Feferman — In the Light of Logic

Solomon Feferman — In the Light of Logic

H. G. Dales, G. Oliveri — Truth in mathematics

E. Mendelson — Introduction to mathematical logic

Hao Wang — A Survey of Mathematical Logic.

Anne S. Troelstra, Dirk van Dalen — Constructivism in mathematics: An introduction

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings Madison, 1978

Boffa M., van Dalen D., McAloon K. (eds.) — Logic Colloquium '78: Proceedings Mons, 1978

Dirk van Dalen, etc. — Logic Colloquium '80 (no TOC)

S. W. P. Steen — Mathematical Logic with Special Reference to the Natural Numbers

S. W. P. Steen — Mathematical logic with special reference to natural numbers

P. T. Johnstone — Notes on Logic and Set Theory

Elliott Mendelson — Introduction to Mathematical Logic

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

A. G. Dragalin — Mathematical intuitionism : introduction to proof theory

Robert S. Wolf — A Tour Through Mathematical Logic

Petr Hájek (editor) — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

Elliott Mendelson (auth.) — Introduction to Mathematical Logic

Elliott Mendelson — Introduction to Mathematical Logic, Sixth Edition

Elliott Mendelson — Introduction to mathematical logic

Joseph R. Shoenfield — Mathematical Logic

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger — Logic, Construction, Computation

Ulrich Berger (editor); Hannes Diener (editor); Peter Schuster (editor); Monika Seisenberger (editor) — Logic, Construction, Computation

Gerhard Jäger, Wilfried Sieg — Feferman on Foundations

F. Richman — Constructive Mathematics. Proc. conf. New Mexico, 1980

Petr Hajek — Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy. Brno, Czech Republic, August 1996, Proceedings

主要なフレーズ