Bulletin of Symbolic Logic,volume 4,issue 4  (12-1998)

Period of time： 1998年4期

Publisher： Cambridge University Press

Founded in： 1995

Total resources： 90

E-ISSN： 1943-5894|4|4

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 4,issue 4

Menu

Finite Variable Logics in Descriptive Complexity Theory

Bulletin of Symbolic Logic,volume 4,issue 4 , Vol. 4, Iss. 4, 1998-12 , pp. 345-398

Cambridge University Press

Abstract Access to resources Recommend Favorite

Construction of Truth Predicates: Approximation Versus Revision

Bulletin of Symbolic Logic,volume 4,issue 4 , Vol. 4, Iss. 4, 1998-12 , pp. 399-417

Cambridge University Press

Abstract Access to resources Recommend Favorite

Cut Elimination in the Presence of Axioms

Bulletin of Symbolic Logic,volume 4,issue 4 , Vol. 4, Iss. 4, 1998-12 , pp. 418-435

Cambridge University Press

Abstract Access to resources Recommend Favorite

1995–1996 Winter Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic,volume 4,issue 4 , Vol. 4, Iss. 4, 1998-12 , pp. 436-442

Cambridge University Press

Abstract Access to resources Recommend Favorite

1997–98 Annual Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic,volume 4,issue 4 , Vol. 4, Iss. 4, 1998-12 , pp. 443-458

Cambridge University Press

Abstract Access to resources Recommend Favorite

Australasian Association for Logic 1997 Annual Conference

Bulletin of Symbolic Logic,volume 4,issue 4 , Vol. 4, Iss. 4, 1998-12 , pp. 459-464

Cambridge University Press

Abstract Access to resources Recommend Favorite

Notices

Bulletin of Symbolic Logic,volume 4,issue 4 , Vol. 4, Iss. 4, 1998-12 , pp. 511-516

Cambridge University Press

Abstract Access to resources Recommend Favorite

Total 7 item(s)