Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

199 722 (0,319s)

Výsledek výzkumu

Logical foundations of mathematics and computational complexity : a gentle introduction

BA - Obecná matematika

  • 2013
  • B
  • Odkaz
Výsledek výzkumu

Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level

Philosophy, History and Philosophy of science and technology

  • 2018
  • B
  • Odkaz
Výsledek výzkumu

“Sind die Zahlformeln beweisbar?”

Philosophy, History and Philosophy of science and technology

  • 2024
  • C
  • Odkaz
Výsledek výzkumu

The Architecture and Archaeology of Modern Logic. Studies Dedicated to Göran Sundholm

Philosophy, History and Philosophy of science and technology

  • 2024
  • O
  • Odkaz
Výsledek výzkumu

Mathematics and Logic: the View from Prague, 1800

BA - Obecná matematika

  • 2010
  • O
Výsledek výzkumu

Seminar on the Philosophy and History of Mathematics /5./

History (history of science and technology to be 6.3, history of specific sciences to be under the respective headings)

  • 2024
  • O
Výsledek výzkumu

Logica 2016

AA - Filosofie a náboženství

  • 2016
  • M
Výsledek výzkumu

Logica 2017

Philosophy, History and Philosophy of science and technology

  • 2017
  • M
Výsledek výzkumu

The Logica Yearbook 2019

Philosophy, History and Philosophy of science and technology

  • 2020
  • O
Výsledek výzkumu

The Logica Yearbook 2018

Philosophy, History and Philosophy of science and technology

  • 2019
  • O
  • 1 - 10 z 199 722