Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
ProQuest (Firm)
(4)
Gandy, R. O. (Robin O.)
(3)
Dalen, D. van (Dirk), 1932-
(2)
Fenstad, Jens Erik.
(2)
Gabbay, Dov M., 1945-
(2)
Materyal Türü
Dil
Yayın Yılı
-
Konu
Electronic books.
(69)
MATHEMATICS -- Infinity.
(61)
MATHEMATICS -- Logic.
(52)
Logic, Symbolic and mathematical.
(18)
Conference papers and proceedings.
(11)
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
70 sonuç bulundu Arama sonuçlarına abone ol
0000000000000000000000000000000000000000000000000000000000000000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      The mathematics of infinity a guide to great ideas için kapak resmi
      1. 
      The mathematics of infinity a guide to great ideas
      by 
      Faticoni, Theodore G. (Theodore Gerard), 1954-
      Click to View
      Format: 
      Alıntı: 
      The mathematics of infinity a guide to great ideas / Faticoni, Theodore G. (Theodore Gerard), 1954-
      Roads to infinity : the mathematics of truth and proof için kapak resmi
      2. 
      Roads to infinity : the mathematics of truth and proof
      by 
      Stillwell, John, author.
      Click to View
      Format: 
      Alıntı: 
      Roads to infinity : the mathematics of truth and proof / Stillwell, John, author.
      Real analysis : with an introduction to wavelets and applications için kapak resmi
      3. 
      Beyond wavelets için kapak resmi
      4. 
      Degrees of unsolvability için kapak resmi
      5. 
      The nuts and bolts of proofs için kapak resmi
      6. 
      The nuts and bolts of proofs
      by 
      Cupillari, Antonella.
      ScienceDirect https://www.sciencedirect.com/science/book/9780120885091
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Classical recursion theory : the theory of functions and sets of natural numbers için kapak resmi
      7. 
      Algebraic and structural automata theory için kapak resmi
      8. 
      Combinatory logic. Volume II için kapak resmi
      9. 
      Combinatory logic. Volume II
      by 
      Curry, Haskell B. (Haskell Brooks), 1900-1982.
      ScienceDirect http://www.sciencedirect.com/science/book/9780720422085
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Numerical analysis of wavelet methods için kapak resmi
      10. 
      Constructivism in mathematics : an introduction. Volume 1 için kapak resmi
      11. 
      Constructivism in mathematics : an introduction. Volume 1
      by 
      Troelstra, A. S. (Anne Sjerp)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444702661
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Set theory : with an introduction to descriptive set theory için kapak resmi
      12. 
      Set theory : with an introduction to descriptive set theory
      by 
      Kuratowski, Kazimierz, 1896-1980.
      ScienceDirect http://www.sciencedirect.com/science/book/9780720404708
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Fundamentals of generalized recursion theory için kapak resmi
      13. 
      General lattice theory için kapak resmi
      14. 
      General lattice theory
      by 
      Gratzer, George A.
      ScienceDirect http://www.sciencedirect.com/science/book/9780122957505
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Generalized recursion theory II : proceedings of the 1977 Oslo Symposium için kapak resmi
      15. 
      Generalized recursion theory II : proceedings of the 1977 Oslo Symposium
      by 
      Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444851635
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Algebra of proofs için kapak resmi
      16. 
      Algebra of proofs
      by 
      Szabo, M. E.
      ScienceDirect https://www.sciencedirect.com/science/book/9780720422863
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/88
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Combinatorial set theory için kapak resmi
      17. 
      Combinatorial set theory
      by 
      Williams, Neil H.
      ScienceDirect http://www.sciencedirect.com/science/book/9780720407228
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/91
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Large infinitary languages : model theory için kapak resmi
      18. 
      Proof theory için kapak resmi
      19. 
      Proof theory
      by 
      Takeuti, Gaisi, 1926-2017.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444104922
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/81
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 için kapak resmi
      20. 
      Real-variable methods in harmonic analysis için kapak resmi
      21. 
      The lambda calculus : its syntax and semantics için kapak resmi
      22. 
      The lambda calculus : its syntax and semantics
      by 
      Barendregt, H. P. (Hendrik Pieter)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444875082
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/103
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Sequence transformations and their applications için kapak resmi
      23. 
      Fuzzy sets and systems : theory and applications için kapak resmi
      24. 
      An introduction to nonharmonic Fourier series için kapak resmi
      25. 
      Descriptive set theory için kapak resmi
      26. 
      Descriptive set theory
      by 
      Moschovakis, Yiannis N.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444701992
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Set theory için kapak resmi
      27. 
      Generalized recursion theory : Proceedings of the 1972 Oslo symposium için kapak resmi
      28. 
      Generalized recursion theory : Proceedings of the 1972 Oslo symposium
      by 
      Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444105455
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Logic in algebraic form : Three languages and theories için kapak resmi
      29. 
      Proceedings of the Second Scandinavian Logic Symposium için kapak resmi
      30. 
      A mathematical introduction to logic için kapak resmi
      31. 
      A mathematical introduction to logic
      by 
      Enderton, Herbert B.
      ScienceDirect http://www.sciencedirect.com/science/book/9780122384523
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Computable structures and the hyperarithmetical hierarchy için kapak resmi
      32. 
      Cafe : an industrial-strength algebraic formal method için kapak resmi
      33. 
      Cafe : an industrial-strength algebraic formal method
      by 
      Futatsugi, Kokichi.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444505569
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      From Peirce to Skolem : a neglected chapter in the history of logic için kapak resmi
      34. 
      Selected papers on Automath için kapak resmi
      35. 
      Selected papers on Automath
      by 
      Nederpelt, R. P. (Rob P.)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444898227
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=133
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Orders--description and roles : in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and Their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 = Ordres--description et rôles : en théorie des ensembles, des treillis, des groupes ordonnés en topologie, théorie des modèles et des relations, combinatoire, effectivité, sciences sociales : actes de la Conférence sur les ensembles ordonnés et leur applications, Château de la tourette, l'Arbresle, juillet 5-11, 1982 için kapak resmi
      36. 
      Real variable methods in Fourier analysis için kapak resmi
      37. 
      Handbook of mathematical logic için kapak resmi
      38. 
      Sets and classes : on the work by Paul Bernays için kapak resmi
      39. 
      Handbook of the logic of argument and inference : the turn towards the practical için kapak resmi
      40. 
      Mathematical logic için kapak resmi
      41. 
      Mathematical logic
      by 
      Turing, Alan, 1912-1954.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444504234
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Handbook of proof theory için kapak resmi
      42. 
      Admissibility of logical inference rules için kapak resmi
      43. 
      Logical frameworks for truth and abstraction : an axiomatic study için kapak resmi
      44. 
      Symmetries and Laplacians : introduction to harmonic analysis, group representations, and applications için kapak resmi
      45. 
      Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 için kapak resmi
      46. 
      Computability, complexity, logic için kapak resmi
      47. 
      Harvey Friedman's research on the foundations of mathematics için kapak resmi
      48. 
      Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 için kapak resmi
      49. 
      Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
      by 
      Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 için kapak resmi
      50. 
      Foundational studies : selected works. Volume I için kapak resmi
      51. 
      Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 için kapak resmi
      52. 
      Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 için kapak resmi
      53. 
      Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
      by 
      Logic Colloquium (1976 : Oxford)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      The theory of semisets için kapak resmi
      54. 
      Relation algebras by games için kapak resmi
      55. 
      Handbook of process algebra için kapak resmi
      56. 
      Handbook of process algebra
      by 
      Bergstra, J. A.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444828309
      Format: 
      Alıntı: 
      MATHEMATICS -- Infinity.
      Quantum theoretic machines : what is thought from the point of view of physics için kapak resmi
      57. 
      Handbook of computability theory için kapak resmi
      58. 
      Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory için kapak resmi
      59. 
      Residuated lattices : an algebraic glimpse at substructural logics için kapak resmi
      60. 
      The many valued and non-monotonic turn in logic için kapak resmi
      61. 
      Multiscale wavelet methods for partial differential equations için kapak resmi
      62. 
      The axiom of choice için kapak resmi
      63. 
      The collected papers of Gerhard Gentzen için kapak resmi
      64. 
      The collected papers of Gerhard Gentzen
      by 
      Szabo, M. E.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444534194
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/55
      Format: 
      Alıntı: 
      elementary number theory -- Consistency of the simple theory of types -- Concept of infinity in mathematics
      Math goes to the movies için kapak resmi
      65. 
      Math goes to the movies
      by 
      Polster, Burkard.
      Click to View
      Format: 
      Alıntı: 
      . Mathematics. Beautiful math, or better off dead -- Pythagoras and Fermat at the movies -- Survival in the
      Infinity new research frontiers için kapak resmi
      66. 
      Infinity new research frontiers
      by 
      Heller, Michał.
      Click to View
      Format: 
      Alıntı: 
      mathematics. It then offers technical discussions on the understanding of mathematical infinity. Following
      An episodic history of mathematics mathematical culture through problem solving için kapak resmi
      67. 
      An episodic history of mathematics mathematical culture through problem solving
      by 
      Krantz, Steven G. (Steven George), 1951-
      Click to View
      Format: 
      Alıntı: 
      the orders of infinity -- The number systems -- Henri Poincaré, child phenomenon -- Sonya Kovalevskaya
      Stability of dynamical systems için kapak resmi
      68. 
      Stability of dynamical systems
      by 
      Liao, Xiaoxin.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444531100
      ScienceDirect http://www.sciencedirect.com/science/bookseries/15746917/5
      Format: 
      Alıntı: 
      disturbances as the time approaches infinity. It has been and still is the object of intense investigations due
      Advances in Unconventional Computing Volume 1: Theory için kapak resmi
      69. 
      Advances in Unconventional Computing Volume 1: Theory
      by 
      Adamatzky, Andrew. editor.
      http://dx.doi.org/10.1007/978-3-319-33924-5
      Format: 
      Alıntı: 
      ; cellular automata and other mathematical machines; P-systems and cellular computing; infinity and spatial
      Philosophy of logic için kapak resmi
      70. 
      Philosophy of logic
      by 
      Jacquette, Dale.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444515414
      Format: 
      Alıntı: 
      Contemporary Legacy (Herbert Hochberg) -- Classical Logic's Coming of Age (John W. Dawson, Jr.) -- Infinity