Logic for computer science /

Bibliographic Details
Main Author:	Reeves, Steven
Other Authors:	Clarke, Michael
Format:	Book
Language:	English
Published:	Workingham : Addison-Wesley, 1990.
Subjects:	Mantık, sembolik ve matematiksel. Logic, Symbolic and mathematical

Similar Items

Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)

Mathematical logic /
by: Kleene, Stephen Cole, 1909-
Published: (2002)

Kanıt nasıl yapılır: bir yapısal yaklaşım= how to prove it/
by: Velleman, Daniel J.
Published: (2008)

Matematiksel mantık /
by: Eroğlu, Mehmet Sait
Published: (2016)

Lojistik /
by: Reichenbach, Hans, 1891-1953
Published: (1939)

Introduction to mathematical logic /
by: Church, Alonzo, 1903-
Published: (1996)

Önermeler mantığı /
by: Nesin, Ali, 1956-
Published: (2001)

Anlığın yönetimi için kurallar /
by: Descartes, René, 1596-1650
Published: (1997)

Mantık : klasik/sembolik mantık, mantık felsefesi /
by: Özlem, Doğan, 1944-2022
Published: (2004)

Sembolik mantık el kitabı /
by: Grünberg, Teo, 1927-
Published: (2017)

Mantık : klasik/sembolik mantık, mantık felsefesi /
by: Özlem, Doğan, 1944-2022
Published: (2006)

Mantık : klasik/sembolik mantık, mantık felsefesi /
by: Özlem, Doğan, 1944-2022
Published: (2006)

Philosophische Grammatik /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1969)

Mantık : klasik/sembolik mantık mantık felsefesi /
by: Özlem, Doğan, 1944-2022
Published: (2017)

Proofs and refutations : the logic of mathematical discovery /
by: Lakatos, Imre, 1922-1974
Published: (1976)

Tractatus logico-philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (2006)

Matematiksel ispat ve öğretimi : okul yıllarında ispat öğretimini destekleyen çok yönlü bir bakış /
Published: (2020)

Meaning and necessity : a study in semantics and modal logic /
by: Carnap, Rudolf, 1891-1970
Published: (2021)

Mantık üzerine yazılar /
by: Peirce, Charles S. 1839-1914
Published: (2004)

Logic, language and computation/
Published: (1997)

Non-classical logics and their applications to fuzzy subsets: Handbook of the mathematical foundations of fuzzy set theory/
Published: (1995)

Tractatus logico philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (2003)

Tractatus logico philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1985)

Defterler 1914-1916 /
by: Wittgenstein, Ludwig, 1889-1951
Published: (2004)

Tractatus logico philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1978)

Sembolik mantık el kitabı /
by: Grünberg, Teo, 1927-
Published: (2000)

Matematik ve doğa /
by: Nesin, Ali, 1956-
Published: (2002)

Mathematical logic and programming languages/
Published: (1985)

Sets,logic and categories.
by: Cameron,Peter J.
Published: (1999)

Develerle eşekler /
by: Nesin, Ali, 1956-
Published: (2002)

Epistemik mantık üzerine bir araştırma /
by: Grünberg, Teo, 1927-
Published: (2007)

Epistemik mantık üzerine bir araştırma /
by: Grünberg, Teo, 1927-
Published: (1971)

Matematik ölçme ve psikofizik /
by: Stevens, S. S.
Published: (1968)

Russell/
by: Monk, Ray
Published: (1999)

Lectures on logic : Berlin, 1831 /
by: Hegel, Georg Wilhelm Friedrich, 1770-1831
Published: (2008)

Logisch-philosophische abhandlung : Tractacus logico-philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (2001)

Quantum theoretic machines: What is thought from the point of view of physics/
by: Stern, August
Published: (2000)

Modal logic : an introduction /
by: Chellas, Brian F.
Published: (1995)

Homo informatiks : bilişim, matematik ve mantığın kesişen dünyaları /
by: Brabandere, Luc de, 1948-
Published: (2021)

Matematik felsefesi /
by: Barker, Stephen Francis, 1927-
Published: (2003)