載入...

QR Code

Tractus logico-philosophicus /

Saved in:

書目詳細資料
主要作者:	Wittgenstein, Ludwig, 1889-1951
格式:	圖書
語言:	英语
出版:	London : Routledge & K. Paul, c1961.
叢編:	International library of philosophy and scientific method
主題:	Logic, Symbolic and mathematical. Language and languages > Philosophy.
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Mathematics and plausible reasoning
由: Polya, George, 1887-1985
出版: (1968)

Introduction to the foundations of mathematics /
由: Wilder, Raymond Louis, 1896-
出版: (1965)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
出版: (1982)

Logic and structure
由: Dalen, D. van (Dirk van), 1932-
出版: (1980)

Logic and structure
由: Dalen, D. van (Dirk), 1932-
出版: (1983)

How to read and do proofs an introduction to mathematical thought process
由: Solow, Daniel
出版: (1982)

Introduction to mathematical logic
由: Mendelson, Elliott
出版: (1979)

A course in mathematical logic
由: Bell, J. L. (John Lane)
出版: (1977)

Principles of mathematical logic /
由: Hilbert, D.
出版: (1990)

Logic of mathematics : a modern course of classical logic /
由: Adamowicz, Zofia
出版: (1997)

The language of logic /
由: Freudenthal, Hans, 1905-
出版: (1966)

Introduction to symbolic logic /
由: Smith, Karl J.
出版: (1991)

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
出版: (1986)

Direct and converse theorems : the elements of symbolic logic /
由: Gradshtein, I. S.
出版: (1963)

Mathematical thinking /
由: Godwin, D. C.
出版: (1971)

Logic and algorithms : with applications to the computer and information sciences /
由: Korfhage, Robert R.
出版: (1966)

Advanced work in English /
由: Parker,C. R. E. (Colin Rodwell Eric)
出版: (1967)

Math and logic games
由: Agostini, Franco
出版: (1983)

Sets, logic, and axiomatic theories /
由: Stoll, Robert Roth
出版: (1961)

Logic, algebra and databases
由: Gray, Peter M. D.
出版: (1984)

An introduction to mathematical logic and type theory : to truth through proof /
由: Andrews, P. B. (Peter Bruce), 1937-
出版: (1986)

Elements of logic and foundations of mathematics in problems /
由: Wiktor, Marek
出版: (1982)

Computability : computable functions, logic, and the foundations of mathematics /
由: Epstein, Richard L.
出版: (1989)

The logical and set-theoretical foundations of mathematics /
由: Zulauf, Achim
出版: (1969)

Logic and databases /
出版: (1978)

Philosophy in a new key : a study in the symbolism of reason, rite, and art /
由: Langer, Susanne Katherina (Knauth) 1895-
出版: (1969)

Elements of the theory of computation
由: Lewis, Harry R.
出版: (1981)

Equational logic as a programming language
由: O'Donnell, Michael J., 1952-
出版: (1985)

Foundations--logic, language, and mathematics
出版: (1984)

Logic for problem solving
由: Kowalski, Robert
出版: (1979)

Logic : a foundation for computer science /
由: Sperschneider, V.
出版: (1991)

An introduction to modern mathematics /
由: Monjallon, Albert
出版: (1967)

Formal methods in artificial intelligence /
由: Ramsay, Allan, 1953-
出版: (1988)

Foundations of computing : system development with set theory and logic /
由: Scheurer, Thierry
出版: (1994)

The computer modelling of mathematical reasoning
由: Bundy, Alan
出版: (1983)

A first course in formal logic and its applications in computer science /
由: Dowsing, Roy
出版: (1986)

Logic and information /
由: Devlin, Keith J.
出版: (1991)

Fuzzy logic technology and applications I /
出版: (1994)

Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) /
出版: (1992)

Logic and scientific methods an introductory course
由: Searles, Herbert Leon, 1891-
出版: (1968)