Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Seldin, Jonathan P."'
Autor:
Kamareddine, Fairouz, Seldin, Jonathan
This paper looks at how ancient mathematicians (and especially the Pythagorean school) were faced by problems/paradoxes associated with the infinite which led them to juggle two systems of numbers: the discrete whole/rationals which were handled arit
Externí odkaz:
http://arxiv.org/abs/2401.02806
Autor:
Seldin, Jonathan P.
Publikováno v:
The Journal of Symbolic Logic, 2000 Sep 01. 65(3), 1076-1114.
Externí odkaz:
https://www.jstor.org/stable/2586689
Autor:
Seldin, Jonathan P
Publikováno v:
The Dictionary of Modern American Philosophers, 1 ed., 2010.
Autor:
Seldin, Jonathan P.
Publikováno v:
In Theoretical Computer Science 2011 412(37):4905-4918
Autor:
Seldin, Jonathan P.
Publikováno v:
In Handbook of the History of Logic 2009 5:819-873
Publikováno v:
The Journal of Symbolic Logic, 1989 Jun 01. 54(2), 590-607.
Externí odkaz:
https://www.jstor.org/stable/2274872
Autor:
Seldin, Jonathan P.
Publikováno v:
The Journal of Symbolic Logic, 1986 Sep 01. 51(3), 626-647.
Externí odkaz:
https://www.jstor.org/stable/2274019
A Sequent Calculus Formulation of Type Assignment with Equality Rules for the $\ambda\beta$-Calculus
Autor:
Seldin, Jonathan P.
Publikováno v:
The Journal of Symbolic Logic, 1978 Dec 01. 43(4), 643-649.
Externí odkaz:
https://www.jstor.org/stable/2273503
Autor:
Seldin, Jonathan P.
Publikováno v:
The Journal of Symbolic Logic, 1977 Mar 01. 42(1), 11-28.
Externí odkaz:
https://www.jstor.org/stable/2272314
Autor:
Bunder, M. W., Seldin, Jonathan P.
Publikováno v:
The Journal of Symbolic Logic, 1978 Jun 01. 43(2), 247-249.
Externí odkaz:
https://www.jstor.org/stable/2272822