Formale logik

Formale logik

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Bochenski, Joseph M., 1902-1995
Μορφή:	Βιβλίο
Γλώσσα:	German
Δημοσίευση:	Freiburg : K. Alber, 1956
Σειρά:	Orbis academicus
Θέματα:	Logic > History.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Formale logik
από: Lorenzen, Paul, 1915-1994
Δημοσίευση: (1958)

Philosophie der Logik
από: Seebohm, Thomas M.
Δημοσίευση: (1984)

Einfuhrung in die mathematische logik
από: Asser, Gonter
Δημοσίευση: (1959)

Wissenschaft der Logik
από: Hegel, Georg Wilhelm Friedrich, 1770-1831
Δημοσίευση: (1951)

Elementare logik und mengenlehre I
από: Oberschelp, Arnold
Δημοσίευση: (1974)

Vollstandige systeme modaler und intuitionistischer logik
από: Schutte, K. (Kurt)
Δημοσίευση: (1968)

Archiv fur mathematische logik und Grundlagenforschung
Δημοσίευση: (1950)

A primer of formal logic
από: Cooley, John C. (John Cleveland), 1903-
Δημοσίευση: (1942)

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

A precis of mathematical logic
από: Bochenski, Joseph M., 1902-1995
Δημοσίευση: (1959)

Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik
Δημοσίευση: (1955)

Formal methods in artificial intelligence
από: Ramsay, Allan, 1953-
Δημοσίευση: (1989)

A formalization of set theory without variables
από: Tarski, Alfred
Δημοσίευση: (1987)

Formal sociology :
Δημοσίευση: (1991)

Grundbegriffe der mengenlehre und logik
από: Hasse, M. (Maria)
Δημοσίευση: (1966)

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

The development of logic
από: Kneale, W. C. (William Calvert), κ.ά.
Δημοσίευση: (1971)

Η λογική στη νεότερη Ελλάδα
από: Πέτσιος, Κωνσταντίνος Θ.
Δημοσίευση: (1999)

From Frege to Godel :
από: Van Heijenoort, Jean 1912-
Δημοσίευση: (1967)

Style and formalism in the eighteenth century
από: Gray, Jeremy, 1947-
Δημοσίευση: (1987)

Ιστορία της σύγχρονης ευρωπαϊκής φιλοσοφίας (20ος αιώνας)
από: Bochenski, Joseph M., 1902-1995
Δημοσίευση: (1975)

Formalized recursive functionals and formalized realizability
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1969)

Contemporary readings in logical theory
από: Copi, Irving M.
Δημοσίευση: (1967)

Αρχές διαλεκτικής λογικής
από: Rozental, M. M. (Mark Moiseevich), 1906-1975
Δημοσίευση: (1962)

Introduction to Mathematical Logic
από: Church, Alonzo 1903-1995
Δημοσίευση: (1956)

Introduction to mathematical logic
από: Church, Alonzo 1903-1995
Δημοσίευση: (1996)

Logique moderne
από: Grize, Jean-Blaise
Δημοσίευση: (1969)

Theory of formal systems
από: Smullyan, Raymond M.
Δημοσίευση: (1961)

Formal languages
από: Salomaa, Arto
Δημοσίευση: (1973)

Formal organizations :
από: Blau, Peter Michael
Δημοσίευση: (1982)

Formal semantics :
από: Cann, Ronnie
Δημοσίευση: (1993)

Perspectives on the history of mathematical logic
Δημοσίευση: (1991)

History of mathematical logic from Leibniz to Peano
από: Stiazhkin, N. I.
Δημοσίευση: (1969)

Abduction and induction :
Δημοσίευση: (2000)

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

Logic machines, diagrams and Boolean algebra
από: Gardner, Martin, 1914-2010
Δημοσίευση: (1968)

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

Programming logic and design :
από: Farrell, Joyce
Δημοσίευση: (2007)

Τί είναι φιλοσοφία;
από: Deleuze, Gilles, 1925-1995
Δημοσίευση: (2004)

Logic for computer scientists
από: Schoning, Uwe 1955-
Δημοσίευση: (1989)