Murawski, Roman, 1949-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Murawski, Roman
Roman Murawski
VIAF ID: 76440435 (Personal)
Permalink: http://viaf.org/viaf/76440435
Preferred Forms
-
200 _ 1 ‡a Murawski ‡b Roman ‡f 1949-
-
200 _ |
‡a
Murawski
‡b
Roman
‡f
1949-....
-
100 1 _
‡a
Murawski, Roman
-
100 1 _ ‡a Murawski, Roman
-
100 1 _ ‡a Murawski, Roman
-
100 1 _ ‡a Murawski, Roman
-
100 1 _ ‡a Murawski, Roman
-
100 1 _ ‡a Murawski, Roman
-
100 1 _
‡a
Murawski, Roman
-
100 1 _ ‡a Murawski, Roman ‡d (1949- )
-
100 1 _ ‡a Murawski, Roman ‡d (1949- ).
-
100 1 _
‡a
Murawski, Roman
‡d
1949-
-
100 1 _
‡a
Murawski, Roman
‡d
1949-
-
100 1 _
‡a
Murawski, Roman
‡d
1949-
-
100 1 _ ‡a Murawski, Roman, ‡d 1949-
-
100 1 _
‡a
Murawski, Roman,
‡d
1949-....
-
100 0 _
‡a
Roman Murawski
4xx's: Alternate Name Forms (3)
5xx's: Related Names (4)
- 510 2 _
‡a
Uniwersytet Imienia Adama Mickiewicza w Poznaniu
‡b
Wydział Matematyki i Informatyki
- 510 2 _
‡a
Uniwersytet Imienia Adama Mickiewicza w Poznaniu
‡b
Wydział Matematyki i Informatyki
‡e
Affiliation
- 510 2 _
‡a
Uniwersytet im. Adama Mickiewicza (Poznań). Wydawnictwo Naukowe
- 510 2 _
‡a
Wydawnictwo Naukowe PWN.
Works
| Title | Sources |
|---|---|
| Arithmetics in finite but potentially infinite worlds |
|
| Arytmetyki w skończonych, lecz potencjalnie nieskończonych światach |
|
| Bibliografia katechetyczna, 1945-1995 |
|
| Church's thesis and its epistemological status |
|
| O czym rozprawiają matematycy, czyli o statusie bytowym przedmiotów matematyki |
|
| Decidability vs. undecidability : logico-philosophico-historical remarks |
|
| O dojrzewaniu świadomości różnicy między prawdziwością a dowodliwością w matematyce |
|
| E. L. Post and the development of mathematical logic and recursion theory |
|
| The English algebra of logic in the 19th century |
|
| [Essays on logic and its applications in philosophy - recenzja] |
|
| Eufonia i logos |
|
| Euphony and logos : essays in honour of Maria Steffen-Batóg and Tadeusz Batóg |
|
| Expandability of models for elementary arithmetic |
|
| Filozofia matematyki antologia tekstów klasycznych |
|
| Filozofia matematyki i logiki w Polsce międzywojennej |
|
| Funkcje rekurencyjne i elementy metamatematyki. |
|
| Giuseppe Peano--pioneer and promotoer of symbolic logic, 1985: |
|
| Główne koncepcje i kierunki filozofii matematyki XX wieku. |
|
| Henryk Struve i Władysław Biegański - między tradycyjną a nową logiką |
|
| Indicators, satisfaction classes and expandability |
|
| John von Neumann and Hilbert's School of foundations of mathematics |
|
| Katecheza chrzcielna w procesie wtajemniczenia chrześcijańskiego czasów apostolskich |
|
| Kilka uwag o dowodzie w matematyce |
|
| Kto jest kim w Polsce nowego millenium (2000-2002) |
|
| Kurt Gödel (1906-1978) |
|
| Logical basis of metaphysics |
|
| Logiczna podstawa metafizyki |
|
| Logos and máthëma studies in the philosophy of mathematics and history of logic |
|
| Mechanization of reasoning in a historical perspective |
|
| Michael Pfliegler pedagogista |
|
| Modele arytmetyki Peano rozszerzalne do modeli dla fragmentów arytmetyki II rzędu |
|
| Na marginesie artykułu prof. Adama Nowaczyka "Zrozumieć Tarskiego" |
|
| Nieskończoność w matematyce : zmagania z potrzebnym acz kłopotliwym pojęciem |
|
| On proofs of the consistency of arithmetic |
|
| Ontologia matematyki i logiki w szkole lwowsko-warszawskiej |
|
| Philosophie der Mathematik |
|
| The philosophy of Hoene-Wroński |
|
| O pojęciu prawdy w matematyce |
|
| The present state of mechanized deduction, and the present knowledge of its limitations |
|
| Problemy filozofii matematyki i informatyki |
|
| Recursive functions and metamathematics problems of completeness and decidability, Gödel's theorems |
|
| Rozwój pojęcia algorytmu |
|
| Rozwój symboliki logicznej. - |
|
| Słownik katechetyków polskich XX wieku |
|
| Światy matematyki : tworzenie czy odkrywanie? : księga pamiątkowa ofiarowana profesorowi Romanowi Murawskiemu |
|
| Troubles with (the concept of) truth in mathematics |
|
| W świecie robotów i teologów : pokusy matematyki |
|
| Wstęp do teorii mnogości |
|
| Zählen Grundlage der elementaren Arithmetik |
|
