Per Martin-Löf. Intuitionistic Type Theory. aka "the Bibliopolis book from1984". linked from https://en.wikipedia.org/wiki/Intuitionistic_type_theory …
U tweetove putem weba ili aplikacija drugih proizvođača možete dodati podatke o lokaciji, kao što su grad ili točna lokacija. Povijest lokacija tweetova uvijek možete izbrisati. Saznajte više
Per Martin-Löf. Intuitionistic Type Theory. aka "the Bibliopolis book from1984". linked from https://en.wikipedia.org/wiki/Intuitionistic_type_theory …