Delwedd Flaen

Côd QR

Discrete mathematics and its applications /

Show other versions (2)

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Rosen, Kenneth H.
Fformat:	Llyfr
Iaith:	Saesneg
Cyhoeddwyd:	Boston : McGraw-Hill Higher Education, 2013.
Rhifyn:	7th ed.
Pynciau:	Computer science > Mathematics. Logic, Symbolic and mathematical. Mathematics.
Mynediad Ar-lein:	Table of contents Contributor biographical information Publisher description
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Logic and discrete mathematics : a concise introduction /
gan: Conradie, Willem, 1978-, et al.
Cyhoeddwyd: (2015)

Logic and discrete mathematics : a concise introduction /
gan: Conradie, Willem, 1978-, et al.
Cyhoeddwyd: (2015)

Discrete mathematics and its applications /
gan: Rosen, Kenneth H.
Cyhoeddwyd: (2013)

Discrete mathematics and its applications /
gan: Rosen, Kenneth H.
Cyhoeddwyd: (1991)

Mathematical logic
gan: Quine, W. V. (Willard Van Orman)
Cyhoeddwyd: (1981)

Foundation of abstract mathematics /
gan: Kurtz, David C.
Cyhoeddwyd: (1992)

Foundational Theories of Classical and Constructive Mathematics
gan: Sommaruga, Giovanni
Cyhoeddwyd: (2011)

Mathematical logic
gan: Chiswell, Ian, 1948-
Cyhoeddwyd: (2007)

Proof and knowledge in mathematics
Cyhoeddwyd: (1992)

Folk algebras in algebra logic and computer science /
gan: Frias, Marcelo Fabián, 1968-
Cyhoeddwyd: (2002)

The elements of mathematical logic.
gan: Rosenbloom, Paul C.
Cyhoeddwyd: (1950)

An introduction to discrete mathematics and its applications /
gan: Kalmanson, Kenneth
Cyhoeddwyd: (1986)

Philosophy of mathematics in the twentieth century : selected essays /
gan: Parsons, Charles, 1933-
Cyhoeddwyd: (2014)

Strict Finitism and the Logic of Mathematical Applications
gan: Ye, Feng
Cyhoeddwyd: (2011)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
gan: Hopkins, Burt C.
Cyhoeddwyd: (2011)

Constructibility and mathematical existence
gan: Chihara, Charles S., 1932-
Cyhoeddwyd: (1990)

Mathematical logic in the 20th century
Cyhoeddwyd: (2003)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
gan: Kerkhove, Bart
Cyhoeddwyd: (2007)

The Oxford handbook of philosophy of mathematics and logic
Cyhoeddwyd: (2005)

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

Concepts of proof in mathematics, philosophy, and computer science /
Cyhoeddwyd: (2016)

Formalism and beyond : on the nature of mathematical discourse /
Cyhoeddwyd: (2014)

A first course in mathematical logic and set theory /
gan: O'Leary, Michael L.
Cyhoeddwyd: (2016)

In the light of logic
gan: Feferman, Solomon
Cyhoeddwyd: (1998)

Publications 1929-1936 /
gan: Gödel, Kurt
Cyhoeddwyd: (1986)

Foundations without foundationalism a case for second-order logic.
gan: Shapiro, Stewart, 1951-
Cyhoeddwyd: (2000)

Discrete mathematics /
gan: Johnsonbaugh, Richard
Cyhoeddwyd: (2009)

Discrete mathematics
gan: Vatsa, B. S.
Cyhoeddwyd: (2009)

Deducibility and decidability
gan: Gill, R. R. Rockingham, 1944-
Cyhoeddwyd: (1990)

The Arch Papers on the Mathematics of Abstraction
gan: Cook, Roy T.
Cyhoeddwyd: (2007)

Mathematical logic
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Cyhoeddwyd: (2011)

Truth and Falsehood An Inquiry into Generalized Logical Values /
gan: Shramko, Yaroslav
Cyhoeddwyd: (2012)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
gan: Kupperman, Joel
Cyhoeddwyd: (1966)

Intermediate logic
gan: Bostock, David
Cyhoeddwyd: (1997)

Classical mathematical logic the semantic foundations of logic /
gan: Epstein, Richard L.
Cyhoeddwyd: (2011)

Invitation to discrete mathematics /
gan: Matousek, Jirí, 1963-
Cyhoeddwyd: (1998)

Invitation to discrete mathematics
gan: Matou�sek, Ji�r�i, 1963-
Cyhoeddwyd: (2009)

A tour through mathematical logic
gan: Wolf, Robert S.
Cyhoeddwyd: (2005)

Logic with trees an introduction to symbolic logic /
gan: Howson, Colin
Cyhoeddwyd: (1997)