Asas bermantik dan berteori set bagi matematik /

Asas bermantik dan berteori set bagi matematik /

41

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	339363 Zulauf, Achim, Samsudin Abdullah
Formáid:
Foilsithe / Cruthaithe:	Sekudai : Unit Penerbitan UTM, 1992
Ábhair:	Mathematics Logic, Symbolic and mathematical

Míreanna comhchosúla

The logical and set-theoretical foundations of mathematics /
de réir: 339363 Zulauf, Achim
Foilsithe / Cruthaithe: (1969)

Mantik : penggunaan dalam pendidikan matematik dan pemikiran /
de réir: Zaidatun Tasir, 1972-
Foilsithe / Cruthaithe: (1995)

Logic, sets, and recursion /
de réir: 332434 Causey, Robert L.
Foilsithe / Cruthaithe: (2006)

Introduction to mathematical logic : set theory computable functions model theory /
de réir: Malitz, J
Foilsithe / Cruthaithe: (1979)

Perbandingan Antara Mantik Al-Sullam Dengan Mantik Moden Dalam Konteks Pendidikan Matematik Di Malaysia
de réir: Maat, Siti Mistima
Foilsithe / Cruthaithe: (2003)

Kesan mantik terhadap penulisan dan penterjemahan matematik /
de réir: 224978 Samsudin Abdullah

Set theory and logic /
de réir: 440414 Stoll, Robert Roth
Foilsithe / Cruthaithe: (1963)

Logic, methodology and philosophy of science IV : proceedings /
de réir: International Congress for Logic, Methodology and Philosophy of Science (4th : 1971 : Bucharest, Rumania), et al.
Foilsithe / Cruthaithe: (1973)

Set theory and the continuum hypothesis /
de réir: 336426 Cohen, Paul J.
Foilsithe / Cruthaithe: (1966)

Sets, logic and axiomatic theories /
de réir: 440414 Stoll, Robert Roth
Foilsithe / Cruthaithe: (1974)

A four-flagged lemma
de réir: Sertel, Murat R.
Foilsithe / Cruthaithe: (2009)

CABAL Seminar 76-77 : proceedings, Caltech - UCLA Logic Seminar 1976-77 /
de réir: Kechris, A. S.
Foilsithe / Cruthaithe: (1978)

Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa /
de réir: De Alcantara, Luiz Paulo
Foilsithe / Cruthaithe: (1985)

Transition to higher mathematics : structure and proof /
de réir: 222490 Dumas, Bob A., et al.
Foilsithe / Cruthaithe: (2007)

Combinatory logic /
de réir: 351193 Curry, Haskell Brooks, et al.
Foilsithe / Cruthaithe: (1974)

Symbolic logic /
de réir: 372615 Jacquette, Dale
Foilsithe / Cruthaithe: (2001)

Mathematical logic /
de réir: Brazilian Conference on Mathematical Logic (1977 : States University of Campinas, Brazil), et al.
Foilsithe / Cruthaithe: (1978)

Proceedings of the summer school and colloqium in mathematical logic /
de réir: Logic Colloqium '69 : Proceedings of the summer school and colloqium in mathematical logic (August, 1969 : Manchester), et al.
Foilsithe / Cruthaithe: (1969)

Languages, logic and mathematics /
de réir: Kilmister, C. W. (Clive William)
Foilsithe / Cruthaithe: (1967)

Mathematical foundation of programming /
de réir: 390126 Beckman, Frank S.
Foilsithe / Cruthaithe: (1980)

Proceedings of the sixth Asian logic conference , Beijing, China, 20-24 May 1996 /
de réir: Asian Logic Conference (6th. : 1996 : Beijing, China), et al.
Foilsithe / Cruthaithe: (1998)

Conference in Mathematical Logic, Bedford College, London, 24-28th Aug, 1970 : Proceedings /
de réir: Conference in Mathematical Logic (1970 : Bedford College, London), et al.
Foilsithe / Cruthaithe: (1972)

Logic of mathematics : a modern course of classical logic /
de réir: 454206 Adamowicz, Zofia, et al.
Foilsithe / Cruthaithe: (1997)

Introduction to logic /
de réir: 299767 Copi, Irving M., et al.
Foilsithe / Cruthaithe: (1998)

Mathematical logic : applications and theory /
de réir: 461395 Rubin, Jean E.
Foilsithe / Cruthaithe: (1990)

Understanding Mathematical Logic and its Applications /
de réir: Swafford, Brenden, author 648092
Foilsithe / Cruthaithe: (2012)

A First Course in Logic /
de réir: Lawson, Mark V., author
Foilsithe / Cruthaithe: (2019)

Sentences undecidable in formalized arithmetic : an exposition of theory of Kurt Godel /
de réir: 355713 Mostowski, Andrzej
Foilsithe / Cruthaithe: (1952)

Scandinavian Logic Symposium, 3rd, University of Uppsala, Sweden, April 9-11, 1973 : Proceedings /
de réir: Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala, Sweden), et al.
Foilsithe / Cruthaithe: (1975)

Elements of mathematical logic (model theory) /
de réir: 351900 Kreisel, G., et al.
Foilsithe / Cruthaithe: (1971)

Scandinavian Logic Symposium, 2nd., University of Oslo, 1970 : Proceedings /
de réir: Scandinavian Logic Symposium (2nd : 1970 : University of Oslo), et al.
Foilsithe / Cruthaithe: (1971)

Handbook of Spatial Logics [electronic resource] /
de réir: Aiello, Marco, et al.
Foilsithe / Cruthaithe: (2007)

Foundational studies : selected works /
de réir: 355713 Mostowski, Andrzej
Foilsithe / Cruthaithe: (1979)

Solvable cases of the decision problem /
de réir: 366805 Ackermann, Wilhelm
Foilsithe / Cruthaithe: (1954)

Elements of mathematical logic /
de réir: 343101 Novikov, P. S.
Foilsithe / Cruthaithe: (1964)

Mathematical logic /
de réir: Goodstein, R. L. (Reuben Louis)
Foilsithe / Cruthaithe: (1957)

A course in mathematical logic /
de réir: Manin, Iu I
Foilsithe / Cruthaithe: (1977)

Mathematical logic /
de réir: 344925 Monk, James Donald
Foilsithe / Cruthaithe: (1976)

Introduction to mathematical logic /
de réir: 341948 Mendelson, Elliott
Foilsithe / Cruthaithe: (1964)