Bulletin of Symbolic Logic,volume 3,issue 2  (06-1997)

Period of time： 1997年2期

Publisher： Cambridge University Press

Founded in： 1995

Total resources： 90

E-ISSN： 1943-5894|3|2

ISSN： 1079-8986

Subject： O1 Mathematics

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Bulletin of Symbolic Logic,volume 3,issue 2

Menu

Alonzo Church

Bulletin of Symbolic Logic,volume 3,issue 2 , Vol. 3, Iss. 2, 1997-06 , pp. 153-153

Cambridge University Press

Abstract Access to resources Recommend Favorite

Step by Recursive Step: Church's Analysis of Effective Calculability

Bulletin of Symbolic Logic,volume 3,issue 2 , Vol. 3, Iss. 2, 1997-06 , pp. 154-180

Cambridge University Press

Abstract Access to resources Recommend Favorite

The Impact of the Lambda Calculus in Logic and Computer Science

Bulletin of Symbolic Logic,volume 3,issue 2 , Vol. 3, Iss. 2, 1997-06 , pp. 181-215

Cambridge University Press

Abstract Access to resources Recommend Favorite

Logical Consequence Revisited

Bulletin of Symbolic Logic,volume 3,issue 2 , Vol. 3, Iss. 2, 1997-06 , pp. 216-241

Cambridge University Press

Abstract Access to resources Recommend Favorite

1996 European Summer Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic,volume 3,issue 2 , Vol. 3, Iss. 2, 1997-06 , pp. 242-277

Cambridge University Press

Abstract Access to resources Recommend Favorite

Notices

Bulletin of Symbolic Logic,volume 3,issue 2 , Vol. 3, Iss. 2, 1997-06 , pp. 278-279

Cambridge University Press

Abstract Access to resources Recommend Favorite

Erratum

Bulletin of Symbolic Logic,volume 3,issue 2 , Vol. 3, Iss. 2, 1997-06 , pp. 280-280

Cambridge University Press

Abstract Access to resources Recommend Favorite

Total 7 item(s)