Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Dalen, Kenneth"'
Autor:
Dalen, Kenneth, Kerr, Hugh H., Wang, Ay-Ming, Olson, Rick E., Wesolowski, David P., Farah, Jalil, Dalen, K, Kerr, H H, Wang, A M, Olson, R E, Wesolowski, D P, Farah, J
Publikováno v:
Spine (03622436); Mar1991, Vol. 16 Issue 3, p384-384, 1p
Autor:
Molana, Hassan1
Publikováno v:
Empirical Economics. 1997, Vol. 22 Issue 1, p63-81. 19p. 2 Charts, 8 Graphs.
Autor:
ICES
Contributors: John Dalen, Kenneth G. Foote, H. Hovgard, Jan Arge Jacobsen, Ole Arve Misund, Kjell Olsen, Egil Ona
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7dd651ae73c6769bf77597be5b08b73d
http://hdl.handle.net/11250/104428
http://hdl.handle.net/11250/104428
Autor:
Troelstra, A. S.
Publikováno v:
The Journal of Symbolic Logic, 1984 Mar 01. 49(1), 308-311.
Externí odkaz:
https://www.jstor.org/stable/2274115
Autor:
S. Barry Cooper, John K. Truss
Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at'Logic Colloquium'97
Autor:
Louveau, Alain
Publikováno v:
The Journal of Symbolic Logic, 1987 Sep 01. 52(3), 869-870.
Externí odkaz:
https://www.jstor.org/stable/2274373
Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness o