表紙画像

QRコード

Discrete mathematics and its applications /

他のバージョン（2件）を表示する

保存先:

書誌詳細
第一著者:	Rosen, Kenneth H.
フォーマット:	図書
言語:	英語
出版事項:	Boston : McGraw-Hill Higher Education, 2013.
版:	7th ed.
主題:	Computer science > Mathematics. Logic, Symbolic and mathematical. Mathematics.
オンライン･アクセス:	Table of contents Contributor biographical information Publisher description
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Logic and discrete mathematics : a concise introduction /
著者:: Conradie, Willem, 1978-, 等
出版事項: (2015)

Logic and discrete mathematics : a concise introduction /
著者:: Conradie, Willem, 1978-, 等
出版事項: (2015)

Discrete mathematics and its applications /
著者:: Rosen, Kenneth H.
出版事項: (2013)

Discrete mathematics and its applications /
著者:: Rosen, Kenneth H.
出版事項: (1991)

Mathematical logic
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1981)

Foundation of abstract mathematics /
著者:: Kurtz, David C.
出版事項: (1992)

Foundational Theories of Classical and Constructive Mathematics
著者:: Sommaruga, Giovanni
出版事項: (2011)

Mathematical logic
著者:: Chiswell, Ian, 1948-
出版事項: (2007)

Folk algebras in algebra logic and computer science /
著者:: Frias, Marcelo Fabián, 1968-
出版事項: (2002)

Proof and knowledge in mathematics
出版事項: (1992)

The elements of mathematical logic.
著者:: Rosenbloom, Paul C.
出版事項: (1950)

An introduction to discrete mathematics and its applications /
著者:: Kalmanson, Kenneth
出版事項: (1986)

Strict Finitism and the Logic of Mathematical Applications
著者:: Ye, Feng
出版事項: (2011)

Philosophy of mathematics in the twentieth century : selected essays /
著者:: Parsons, Charles, 1933-
出版事項: (2014)

Constructibility and mathematical existence
著者:: Chihara, Charles S., 1932-
出版事項: (1990)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
著者:: Hopkins, Burt C.
出版事項: (2011)

Mathematical logic in the 20th century
出版事項: (2003)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
著者:: Kerkhove, Bart
出版事項: (2007)

The Oxford handbook of philosophy of mathematics and logic
出版事項: (2005)

Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
出版事項: (2006)

Concepts of proof in mathematics, philosophy, and computer science /
出版事項: (2016)

Formalism and beyond : on the nature of mathematical discourse /
出版事項: (2014)

Discrete mathematics /
著者:: Johnsonbaugh, Richard
出版事項: (2009)

Discrete mathematics
著者:: Vatsa, B. S.
出版事項: (2009)

A first course in mathematical logic and set theory /
著者:: O'Leary, Michael L.
出版事項: (2016)

In the light of logic
著者:: Feferman, Solomon
出版事項: (1998)

Publications 1929-1936 /
著者:: Gödel, Kurt
出版事項: (1986)

Foundations without foundationalism a case for second-order logic.
著者:: Shapiro, Stewart, 1951-
出版事項: (2000)

The Arch Papers on the Mathematics of Abstraction
著者:: Cook, Roy T.
出版事項: (2007)

Deducibility and decidability
著者:: Gill, R. R. Rockingham, 1944-
出版事項: (1990)

Mathematical logic
著者:: Tourlakis, George J.
出版事項: (2003)

Truth and Falsehood An Inquiry into Generalized Logical Values /
著者:: Shramko, Yaroslav
出版事項: (2012)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
出版事項: (2011)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
著者:: Kupperman, Joel
出版事項: (1966)

Intermediate logic
著者:: Bostock, David
出版事項: (1997)

Invitation to discrete mathematics /
著者:: Matousek, Jirí, 1963-
出版事項: (1998)

Invitation to discrete mathematics
著者:: Matou�sek, Ji�r�i, 1963-
出版事項: (2009)

Classical mathematical logic the semantic foundations of logic /
著者:: Epstein, Richard L.
出版事項: (2011)

Discrete mathematics /
著者:: Johnsonbaugh, Richard, 1941-
出版事項: (2014)

Logic with trees an introduction to symbolic logic /
著者:: Howson, Colin
出版事項: (1997)