Mathematical logic /

Bibliographic Details
Main Author:	Kleene, Stephen Cole, 1909-
Format:	Book
Language:	English
Published:	Mineola, N.Y. : Dover Publications, 2002.
Subjects:	Matematik > Felsefe. Mantık,Sembolik ve matematiksel. Mathematics > Philosophy Logic, Symbolic and mathematical

Similar Items

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

Logic for computer science /
by: Reeves, Steven
Published: (1990)

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

Matematik felsefesi /
Published: (2004)

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

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

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

The Philosophy of mathematics /

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

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

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

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

Conversations on mind, matter, and mathematics/
by: Changeux, Jean Pierre
Published: (1995)

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

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

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)

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

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

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

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

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

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)

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

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

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

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

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

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

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

Mathematical logic and programming languages/
Published: (1985)

Matematiksel düşünme /
by: Yıldırım, Cemal, 1925-2009
Published: (2000)

Matematiksel düşünme /
by: Yıldırım, Cemal, 1925-2009
Published: (1988)

Bir'in matematiği sonsuzun geometrisi /
by: Özbek, Ömer

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