Mathematische Logik : ihre Grundprobleme in Theorie und Anwendung

Mathematische Logik : ihre Grundprobleme in Theorie und Anwendung / Werner Strombach ; Helmut Emde und Walter Reyersbach

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Pynciau:
VerfasserIn:	Strombach, Werner 1923-2009 Emde, Helmut Reyersbach, Walter
Place / Publishing House:	München : Beck, 1972
Blwyddyn Gyhoeddi:	1972
Iaith:	German
Cyfres:	Beck'sche Schwarze Reihe 79
Mathematische Logik (DE-588)4037951-6 Logik (DE-588)4036202-4
Mynediad Ar-lein:	Inhaltsverzeichnis
Disgrifiad Corfforoll:	227 S.; graph. Darst.; 21 cm
Nodiadau:	Literaturverz. S. [220] - 222
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Einführung in die Logik
gan: Menne, Albert
Cyhoeddwyd: (1966)

Einführung in die formale Logik : eine Orientierung über die Lehre von der Folgerichtigkeit, ihre Geschichte, Strukturen und Anwendungen
gan: Menne, Albert
Cyhoeddwyd: (1985)

Komplexe Logik : Grundlagen einer logischen Theorie des Wissens
gan: Zinovʹev, Aleksandr Aleksandrovič
Cyhoeddwyd: (1970)

Einführung in die mathematische Logik
gan: Asser, Günter

Grundzüge der mathematischen Logik
gan: Novikov, Petr S.
Cyhoeddwyd: (1973)

Bolzano's logic
gan: Berg, Jan
Cyhoeddwyd: (1962)

Enzyklopädie der mathematischen Wissenschaften mit Einschluß ihrer Anwendungen
Cyhoeddwyd: (1952)

Studia logiczne : wybór
gan: Borkowski, Ludwik
Cyhoeddwyd: (1990)

An algebraic introduction to mathematical logic
gan: Barnes, Donald W.
Cyhoeddwyd: (1975)

Sur quelques algèbres de la logique
gan: Porta, Horacio
Cyhoeddwyd: (1983)

Matematička logika
gan: Devide, Vladimir

Reports on mathematical logic
Cyhoeddwyd: (anfangs)

Collegium logicum : annals of the Kurt-Gödel-Society
Cyhoeddwyd: (1995-)

Studies in logic and the foundations of mathematics
Cyhoeddwyd: (1950-)

Between words and worlds : a Festschrift for Pavel Materna
Cyhoeddwyd: (2000)

Einführung in die mathematische Logik : klassische Prädikatenlogik
gan: Hermes, Hans
Cyhoeddwyd: (1972)

The logic of categories of partial functions and its applications
gan: Obtulowicz, Adam
Cyhoeddwyd: (1986)

Frege Conference 1984 : proceedings of the international conference held at Schwerin (GDR), September 10 - 14, 1984
Cyhoeddwyd: (1984)

Archiv für mathematische Logik und Grundlagenforschung
Cyhoeddwyd: (1950-1987)

Proceedings of the IX Latin American Symposium on Mathematical Logic

Logic colloquium : symposium on Logic held at Boston, 1972-73
Cyhoeddwyd: (1975)

Jahrbuch / Kurt-Gödel-Gesellschaft : = Yearbook
Cyhoeddwyd: (1988-1993)

The strange logic of random graphs
gan: Spencer, Joel H.
Cyhoeddwyd: (2001)

Europolis
gan: Pauli-Schimanovich, Werner de
Cyhoeddwyd: (2005)

Optimization methods for logical inference
gan: Chandru, Vijay
Cyhoeddwyd: (1999)

Logik und Mathematik für Sozialwissenschaftler
gan: Kliemann, Wolfgang

Logic in computer science
Cyhoeddwyd: (2009)

Archive for mathematical logic
Cyhoeddwyd: (1988-)

Erkenntnislehre
gan: Kraft, Viktor
Cyhoeddwyd: (1960)

Programs and machines : an introduction to the theory of computation
gan: Bird, Richard
Cyhoeddwyd: (1976)

The logical code of natural quantities : the natural quantities as a priori constitutions of a self-governing mathematico-logical program
gan: Hübner, Adolf
Cyhoeddwyd: (1992)

Integrale Logik : die Wahrheit des Ganzen
gan: Gabriel, Leo
Cyhoeddwyd: (1965)

Entwicklungstendenzen nichtklassischer Logiken und Probleme ihrer Geschichtsschreibung
Cyhoeddwyd: (1985)

Logika
Cyhoeddwyd: (1969-)

Philosophical logic
Cyhoeddwyd: (1981)

Pragmatyka anomalii logicznych
Cyhoeddwyd: (2008)

Einführung in die Grundlagen der Mathematik : Theorie der Berechenbarkeit ; mathematische Logik ; Mengenlehre
gan: Deutsch, Michael
Cyhoeddwyd: (1999)

Deontische Logik und Semantik
Cyhoeddwyd: (1977)

Practical logic
gan: Ziembiński, Zygmunt
Cyhoeddwyd: (1976)

History of logic
Cyhoeddwyd: (1982-1991)