Introduction to metamathematics

Introduction to metamathematics

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kleene, Stephen Cole, 1909-1994
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Groningen Wolters-Noordhoff Publishing 1971
Σειρά:	Bibliotheca Mathematica 1
Θέματα:	Λογική, Συμβολική και μαθηματική Ασαφής λογική

Παρόμοια τεκμήρια

An introduction to fuzzy logic for practical applications
ανά: Tanaka, Kazuo
Έκδοση: (1997)

Fuzzy logic η νέα επιστήμη
ανά: Kosko, Bart
Έκδοση: (1993)

Στατιστική ανάλυση πολυδιάστατων δεδομένων η παραγοντική ανάλυση αντιστοιχιών στην ασαφή λογική
ανά: Θεοδώρου, Ιωάννης Α.
Έκδοση: (2005)

Fuzzy sets and fuzzy logic theory and applications
ανά: Klir, George J. 1932-
Έκδοση: (1995)

Fuzzy sets and fuzzy logic : theory and applications /
ανά: Klir, George J. 1932-
Έκδοση: (1995)

Μπουλιανά μοντέλα και εφαρμογές
ανά: Σαχάτρε, Μωχάμετ
Έκδοση: (1992)

A first course in fuzzy logic
ανά: Nguyen, Hung T. 1944-
Έκδοση: (1997)

Fuzzy logic with engineering applications
ανά: Ross, Timothy J.
Έκδοση: (1995)

An introduction to fuzzy sets analysis and design
ανά: Pedrycz, Witold 1953-
Έκδοση: (1998)

Logic, semantics, metamathematics papers from 1923 to 1938
ανά: Tarski, Alfred
Έκδοση: (1956)

Metamathematical investigation of intuitionistic arithmetic and analysis /
Έκδοση: (1973)

The foundations of intuitionistic mathematics : especially in relation to recursive functions /
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1965)

Mathematical logic
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1967)

Recursion theory for metamathematics
ανά: Smullyan, Raymond M.
Έκδοση: (1993)

Advances in fuzzy sets, possibility theory, and applications
Έκδοση: (1983)

Fuzzy sets and their application to clustering and training
ανά: Dumitrescu, D.
Έκδοση: (2000)

Fuzzy sets, uncertainty and information
ανά: Klir, George J. 1932-
Έκδοση: (1993)

Fuzzy sets, uncertainty and information
ανά: Klir, George J. 1932-
Έκδοση: (2004)

Fuzzy sets, fuzzy logic, fuzzy methods with applications
ανά: Bandemer, Hans
Έκδοση: (1995)

Fuzzy control and fuzzy systems
ανά: Pedrycz, Witold 1953-
Έκδοση: (1993)

Metamathematics, machines, and Godel's proof /
ανά: Shankar, N.
Έκδοση: (1997)

Fuzzy logic
Έκδοση: (1996)

Fuzzy logic in artificial intelligence towards intelligent systems proceedings...[of] IJCAI '95 Workshop, Montreal, Canada, August 19-21, 1995
Έκδοση: (1997)

Introduction to logic
ανά: Suppes, Patrick 1922-2014
Έκδοση: (1957)

Modal logic an introduction
ανά: Chellas, Brian F.
Έκδοση: (1995)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1997)

Introduction to combinatory logic /
ανά: Hindley, J. Roger
Έκδοση: (1972)

An introduction to symbolic logic /
ανά: Langer, Susanne Katherina Knauth, 1895-1985
Έκδοση: (1967)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1987)

Introduction to symbolic logic
ανά: Basson, A. H.
Έκδοση: (1959)

Introduction to mathematical logic
ανά: Mendelson, Elliott
Έκδοση: (1964)

Introduction to mathematical logic /
ανά: Mendelson, Elliott
Έκδοση: (1979)

Introduction to mathematical logic /
ανά: Hermes, Hans
Έκδοση: (1973)

Introduction to mathematical proofs a transition
ανά: Roberts, Charles E.
Έκδοση: (2010)

An algebraic introduction to mathematical logic /
ανά: Barnes, D. W. (Donald W.), 1935-
Έκδοση: (1975)

A mathematical introduction to logic /
ανά: Enderton, Herbert B.
Έκδοση: (2001)

Introduction to elementary mathematical logic /
ανά: Stoli︠a︡r, A. A. (Abram Aronovich)
Έκδοση: (1984)

Fuzzy sets, fuzzy logic, applications
ανά: Bojadziev, George
Έκδοση: (1995)

Μέθοδος σχεδιασμού αντικειμενοστράφους και αξιολόγηση εργαλείων C.A.S.E με ασαφή λογισμό
ανά: Αγκαβανάκης, Κυριάκος Ν.
Έκδοση: (1997)

Introduction to symbolic logic and its applications /
ανά: Carnap, Rudolf, 1891-1970
Έκδοση: (1958)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών