Jump to main content

yr 〜
yr

Search results 6

Concepts of proof in mathematics, philosophy, and computer science

Concepts of proof in mathematics, philosophy, and computer science
Paper図書
edited by Dieter Probst and Peter SchusterDe Gruyterc2016
Other Libraries in Japan
  • Related MaterialOntos mathematical logic
  • Periodical TitleOntos mathematical logic

Logic, computation, hierarchies

Logic, computation, hierarchies
Paper図書
edited by Vasco Brattka, Hannes Diener, Dieter SpreenDe Gruyterc2014
Other Libraries in Japan
  • Related MaterialOntos mathematical logic
  • Periodical TitleOntos mathematical logic

Logic, Construction, Computation

Logic, Construction, Computation
Paper図書
Ulrich Berger ... [et al.] (eds.)Ontos verlag, 20122012
Other Libraries in Japan
  • Related MaterialOntos mathematical logic
  • Periodical TitleOntos mathematical logic

Logic without borders

Logic without borders
Paper図書
edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés VillavecesDe Gruyterc2015
Other Libraries in Japan
  • Related MaterialOntos mathematical logic
  • Periodical TitleOntos mathematical logic

Church's thesis after 70 years

Church's thesis after 70 years
Paper図書
Adam Olszewski , Jan Woleński , Robert Janusz (Eds.)ontos verlag2006
Other Libraries in Japan
  • Related MaterialOntos mathematical logic
  • Periodical TitleOntos mathematical logic

Ontos mathematical logic

Ontos mathematical logic
Paper図書
edited by Wolfram Pohlers ... [et al.]Ontos verlag
Other Libraries in Japan

Reached to the end of result.

RSS