Symbolic logic and the real numbers system :

Symbolic logic and the real numbers system : an introduction to the foundations of number systems

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Lightstone, A. H.
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	New York : Harper & Row, 1966, c1965
Έκδοση:	1st ed., Repr.
Σειρά:	Harper's series in modern mathematics
Θέματα:	Arithmetic > Foundations. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

The number-system
από: Thurston, H. A. (Hugh Ansfrid)
Δημοσίευση: (1956)

Axiomatic analysis :
από: Katz, Robert, 1922-
Δημοσίευση: (1964)

Symbolic logic :
από: Lee, Harold N. (Harold Newton), 1899-1990
Δημοσίευση: (1961)

Symbolic logic
από: Lewis, Clarence Irving, 1883-1964
Δημοσίευση: (1959)

Introduction to logic and to the methodology of deductive sciences
από: Tarski, Alfred
Δημοσίευση: (1995)

Elements of symbolic logic
από: Reichenbach, Hans, 1891-1953
Δημοσίευση: (1966)

An introduction to symbolic logic
από: Langer, Susanne K. (Susanne Katherina Knauth), 1895-1985
Δημοσίευση: (1953)

Fundamentals of symbolic logic
από: Ambrose, Alice, 1906-2001
Δημοσίευση: (1962)

A survey of symbolic logic
από: Lewis, Clarence Irving, 1883-1964
Δημοσίευση: (1960)

Le nombre
από: Poirier, Rene
Δημοσίευση: (1938)

The bulletin of symbolic logic
Δημοσίευση: (1995)

The journal of symbolic logic
Δημοσίευση: (1936)

Introduction to symbolic logic and its applications
από: Carnap, Rudolf, 1891-1970
Δημοσίευση: (1958)

Die arithmetik in strenger begrundung
από: Holder, Otto 1859-1937
Δημοσίευση: (1929)

Symbolic logic and intelligent machines
από: Berkeley, Edmund Callis
Δημοσίευση: (1959)

Systems of formal logic
από: Hackstaff, L. H.
Δημοσίευση: (1966)

Frege's philosophy of mathematics
Δημοσίευση: (1995)

Grundlagen der elementarmathematik
από: Lenz, Hanfried
Δημοσίευση: (1961)

Systems of logic
από: Martin, Norman M.
Δημοσίευση: (1989)

Metamathematics of first - order arithmetic
από: Hajek, Petr
Δημοσίευση: (1998)

Elementary contemporary mathematics
από: Ohmer, Merlin Maurice
Δημοσίευση: (1964)

Einfuhrung in die mathematische logik
από: Tarski, Alfred
Δημοσίευση: (1966)

Logical number theory I :
από: Smorynski, C.
Δημοσίευση: (1991)

The fundamental theorem of arithmetic
από: Kaluzhnin, Lev Arkadevich
Δημοσίευση: (1979)

Επιστημολογία των μαθηματικών :
από: Ρουσόπουλος, Γιώργος
Δημοσίευση: (1991)

Logic
από: Hodges, Wilfrid
Δημοσίευση: (2001)

Traite d'arithmetique :
από: Stock, Robert, 1895-
Δημοσίευση: (1945)

Arithmetique et algebre modernes
από: Chatelet, Albert (Albert Jean Baptiste), 1883-1960
Δημοσίευση: (1954)

Sets, logic & numbers
από: Dodge, Clayton W.
Δημοσίευση: (1969)

Logic for Mathematicians
από: Hamilton, A. G. 1943-
Δημοσίευση: (1990)

The search for mathematical rootw, 1870-1940 :
από: Grattan-Guinness, I.
Δημοσίευση: (2000)

Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987)

Introduction to logical theory
από: Strawson, P. F.
Δημοσίευση: (1963)

Understanding arithmetic
από: Swain, Robert L. (Robert Lomond)
Δημοσίευση: (1957)

Introduction to elementary mathematical logic
από: Stolyar, A. A. (Abram Aronovich)
Δημοσίευση: (1983)

Introduction to elementary mathematical logic
από: Stolyar, A. A. (Abram Aronovich)
Δημοσίευση: (1970)

The language of logic
από: Freudenthal, Hans, 1905-1990
Δημοσίευση: (1966)

Notes on logic
από: Lyndon, Roger C.
Δημοσίευση: (1966)

Logic for applications
από: Nerode, Anil, 1932-
Δημοσίευση: (1993)

Logic and structure
από: Dalen, D. van (Dirk) 1932-
Δημοσίευση: (2004)