Buchumschlag

QR-Code

Collected papers. Vol. 2, 1935-1944 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie editors.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tarski, Alfred (1901-1983)
Format:	Buch
Sprache:	Englisch Französisch Deutsch
Veröffentlicht:	Basel [etc.] : Birkhäuser, 1986.
Schriftenreihe:	Contemporary Mathematicians
Schlagworte:	Tarski, Alfred > (1901-1983) > krytyka i interpretacja. Tarski, Alfred > (1901-1983). Matematyka > historia. Matematyka. Logika symboliczna i matematyczna. Matematyka > filozofia.

Ähnliche Einträge

Collected papers. Vol. 3, 1945-1957 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie eds.
von: Tarski, Alfred (1901-1983)
Veröffentlicht: (1986)

Collected papers. Vol. 4, 1958-1979 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie eds.
von: Tarski, Alfred (1901-1983)
Veröffentlicht: (1986)

Collected papers. Vol. 1, 1921-1934 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie eds.
von: Tarski, Alfred (1901-1983)
Veröffentlicht: (1986)

Metalogika / Alfred Tarski ; wybrał, przeł., red. nauk. dokonał, przypisami opatrzył i wstępem poprzedził Jan Zygmunt.
von: Tarski, Alfred (1901-1983)
Veröffentlicht: (2001)

Prawda / Alfred Tarski ; wybrał, przeł., red. nauk. dokonał, wstępem i przypisami opatrzył Jan Zygmunt ; bibliografię A. Tarskiego oprac. Steven Givant, uzup. Jan Zygmunt.
von: Tarski, Alfred (1901-1983)
Veröffentlicht: (1995)

Alfred Tarski : życie i logika / Anita Burdman Feferman, Solomon Feferman ; tł. Joanna Golińska-Pilarek i Marian Srebrny.
von: Feferman, Anita Burdman (1927-2015)
Veröffentlicht: (2009)

Wprowadzenie do logiki i do metodologii nauk dedukcyjnych / Alfred Tarski ; przełożyła Monika Sujczyńska.
von: Tarski, Alfred (1901-1983)
Veröffentlicht: (1994)

Dowody i refutacje : logika odkrycia matematycznego / Imre Lakatos ; tł. Michał Kozłowski i Katarzyna Lipszyc ; wstęp do wyd. polskiego Wacław Zawadowski ; dod. do wyd. polskiego Jan Baranowski.
von: Lakatos, Imre (1922-1974)
Veröffentlicht: (2005)

Formal methods in the methodology of empiricial sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 / ed. by Marian Przełęcki, Klemens Szaniawski and Ryszard Wójcicki ; assoc. ed. Grzegorz Malinowski.
Veröffentlicht: (1976)

Pisma semantyczne / Gottlob Frege ; z jęz. niem. przeł. oraz wstępem i przypisami opatrzył Bogusław Wolniewicz.
von: Frege, Gottlob (1848-1925)
Veröffentlicht: (1977)

Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975. P. 1, Logic, foundations of mathematics, and computability theory / ed. by Robert E. Butts and Jaakko Hintikka.
Veröffentlicht: (1977)

Koryfeusze nie są nieomylni : szkice polemiczne / Eugeniusz Grodziński ; Polska Akademia Nauk. Komitet Nauk Filozoficznych.
von: Grodziński, Eugeniusz (1912-1994)
Veröffentlicht: (1988)

Enzyklopädie der Elementarmathematik. Bd. 3, Analysis / red. P. S. Alexandroff, A. I. Markuschevitsch, A. J. Chintschin ; [Übersetzung Helmut Limberg, Karl-Heinz Rupp und Gerhard Tesch].
Veröffentlicht: (1978)

Jak się nie pomylić : czyli Potęga matematycznego myślenia / Jordan Ellenberg ; [tł. Marcin Machnik].
von: Ellenberg, Jordan (1971- ).
Veröffentlicht: (2017)

Od matematyki do filozofii : twórcza droga Alfreda N. Whiteheada / Janusz Mączka.
von: Mączka, Janusz (1960-2024)
Veröffentlicht: (1998)

Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego.
Veröffentlicht: (1987)

Fundamentals of logic / James D. Carney, Richard K. Scheer.
von: Carney, James Donald
Veröffentlicht: (1980)

Formalizm w logice współczesnej / Mihailo Marković ; [z jęz. serb.-chorw. tł. Branko Cirlić].
von: Marković, Mihailo (1923-2010)
Veröffentlicht: (1962)

Studia logiczne : wybór / Ludwik Borkowski.
von: Borkowski, Ludwik (1914-1993)
Veröffentlicht: (1990)

Selected papers in logic and foundations, didactics, economics / Karl Menger.
von: Menger, Karl (1902-1985)
Veröffentlicht: (1979)

Analysis and synthesis in mathematics : history and philosophy / ed. by Michael Otte and Marco Panza.
Veröffentlicht: (1997)

Wybrane problemy teorii eksperymentu i identyfikacji obiektów / [red. nauk. Jan Kazimierczak].
Veröffentlicht: (1978)

Nove lezioni di logica simbolica / Innocenzo M. Bocheński.
von: Bocheński, Józef Maria (1902-1995)
Veröffentlicht: (1938)

Essentials of symbolic logic / R. L. Simpson.
von: Simpson, R. L. (1934- ).
Veröffentlicht: (1988)

Jedynkowe systemy aksjomatyczne / Leon Gumański.
von: Gumański, Leon (1921-2014)
Veröffentlicht: (1964)

Logik / Horst Wessel.
von: Wessel, Horst (1936- ).
Veröffentlicht: (1989)

Introduction à une metamedecine / Jacques Guiset.
von: Guiset, Jacques (1944- ).
Veröffentlicht: (1978)

Z historii logiki i filozofii matematyki / Roman Murawski.
von: Murawski, Roman (1949- ).
Veröffentlicht: (2019)

Metody logiki : dedukcja / Andrzej Indrzejczak, Marek Nowak.
von: Indrzejczak, Andrzej (1964- ).
Veröffentlicht: (2016)

Logik-Texte : kommentiere Auswahl zur Geschichte der moderner Logik / Karel Berka, Lothar Kreiser ; unter Mitarb. von Siegfried Gottwald und Werner Stelzner.
von: Berka, Karel (1923-2004)
Veröffentlicht: (1983)

Logiczne podstawy rozumowań II / pod red. Ludwika Kostro i Jana Przybyłowskiego.
Veröffentlicht: (1997)

Nasz matematyczny Wszechświat : w poszukiwaniu prawdziwej natury rzeczywistości / Max Tegmark ; przełożyli Bogumił Bieniok i Ewa L. Łokas.
von: Tegmark, Max (1967- ).
Veröffentlicht: (2015)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / ed. by George Metakides.
Veröffentlicht: (1982)

Pisma semantyczne / Rudolf Carnap ; przeł. Tadeusz Ciecierski [et al.].
von: Carnap, Rudolf (1891-1970)
Veröffentlicht: (2007)

Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 / ed. by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen.
Veröffentlicht: (1979)

Logic Colloquium'81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / ed. by J. Stern.
Veröffentlicht: (1982)

Remarks on the foundations of mathematics / by Ludwig Wittgenstein ; edited by G. H. von Wright, R. Rhees, G. E. M. Anscombe ; translated by G. E. M. Anscombe.
von: Wittgenstein, Ludwig (1889-1951)
Veröffentlicht: (1978)

Roczniki Polskiego Towarzystwa Matematycznego. Seria 2, Wiadomości Matematyczne.
Veröffentlicht: (1955)

Podręczne tablice matematyczne pięciocyfrowe / Jerzy Antoniewicz.
von: Antoniewicz, Jerzy
Veröffentlicht: (1974)

Matematičeskoe poznanie : ot gipotezy k teorii : metodologičeskij analiz matematičeskogo poznaniâ kak metaissledovaniâ / Vâčeslav Emerikovič Vojcehovič.
von: Vojcehovič, Vâčeslav Emerikovič
Veröffentlicht: (1984)