The following pages link to Roman Murawski (Q588140):
Displayed 50 items.
- Alfred Tarski and the ``Concept of truth in formalized languages''. A running commentary with consideration of the Polish original and the German translation (Q276960) (← links)
- Vladimir Steklov: a mathematician at the turn of the era (Q280995) (← links)
- A trove at a flea market (Q292285) (← links)
- Euler's lute and Edwards's oud (Q297487) (← links)
- A snapshot of debates on relativistic cosmology, 1917--1924. I (Q317017) (← links)
- Strict finitism and the logic of mathematical applications (Q381241) (← links)
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- Teaching arithmetic in the Habsburg Empire at the end of the 18th century -- a textbook example (Q391344) (← links)
- Streamlined subrecursive degree theory (Q408165) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle (Q450961) (← links)
- Jost Bürgi's \textit{Aritmetische und geometrische Progreß Tabulen} (1620). Edition and commentary. Translated from the German (Q495607) (← links)
- Weierstrass's construction of the irrational numbers (Q538498) (← links)
- Fermat's ``adæquare'' -- no end in sight? (Q538499) (← links)
- A quarrel between Joseph Liouville and Guillaume Libri at the French Academy of Sciences in the middle of the nineteenth century (Q549915) (← links)
- Regular resolution lower bounds for the weak pigeonhole principle (Q558246) (← links)
- Diophantine induction (Q584258) (← links)
- The indefinability of truth in the ``Wahrheitsbegriff'' (Q598263) (← links)
- Reexamination of Tarski's semantics (Q598265) (← links)
- Tarski's definition and truth-makers (Q598268) (← links)
- On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) (Q598281) (← links)
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- Philosophical reflection on mathematics in Poland in the interwar period (Q598321) (← links)
- On the mathematical work of L.S. Pontryagin (Q600708) (← links)
- Jan de Witt's Elementa curvarum linearum. Liber secundus. Edited by Albert W. Grootendorst, Jan Aarts, Miente Bakker and Reinie Erné (Q609448) (← links)
- On theories of bounded arithmetic for \(\mathrm{NC}^1\) (Q638497) (← links)
- The provably total NP search problems of weak second order bounded arithmetic (Q639650) (← links)
- The provably terminating operations of the subsystem PETJ of explicit mathematics (Q639690) (← links)
- Robert Recorde. Tudor polymath, expositor and practitioner of computation (Q640558) (← links)
- Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem (Q647334) (← links)
- Logic, formal methodology and semantics in works of Ryszard Wójcicki (Q647407) (← links)
- Philosophy of mathematics in the Warsaw mathematical school (Q656169) (← links)
- Carl Friedrich Gauss and Russia. His correspondence with scientists working in Russia. In cooperation with Werner Lehfeldt (Q658679) (← links)
- The consistency of arithmetic (Q666895) (← links)
- Degrees of relative provability (Q691125) (← links)
- Visualising geomagnetic data by means of corresponding observations. Alexander von Humboldt, Carl Friedrich Gauß and Adolph Theodor Kupffer. I (Q692129) (← links)
- Writing the history of mathematics. Its historical development (Q700337) (← links)
- First-order reasoning and primitive recursive natural number notations (Q708925) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- How ordinary elimination became Gaussian elimination (Q716156) (← links)
- An incident of Heinz Hopf in Karlsruhe, 1939 (Q734100) (← links)
- Predicativity and structuralism in Dedekind's construction of the reals (Q735349) (← links)
- The varieties of mechanics by 1800 (Q752669) (← links)
- The work of José Luis Rubio de Francia. I (Q757332) (← links)
- The work of José Luis Rubio de Francia. II (Q757334) (← links)
- The work of José Luis Rubio de Francia. III (Q757335) (← links)
- The work of José Luis Rubio de Francia. IV (Q757336) (← links)
- The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees (Q764275) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)