Bulletin of Symbolic Logic,volume 5,issue 3  (09-1999)

Period of time： 1999年3期

Publisher： Cambridge University Press

Founded in： 1995

Total resources： 90

E-ISSN： 1943-5894|5|3

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 5,issue 3

Menu

Models of Second-Order Zermelo Set Theory

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 289-302

Cambridge University Press

Abstract Access to resources Recommend Favorite

Between Russell and Hilbert: Behmann on the Foundations of Mathematics

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 303-330

Cambridge University Press

Abstract Access to resources Recommend Favorite

Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 331-366

Cambridge University Press

Abstract Access to resources Recommend Favorite

Accessible Recursive Functions

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 367-388

Cambridge University Press

Abstract Access to resources Recommend Favorite

In Memoriam: Albert G. Dragalin 1941–1998

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 389-391

Cambridge University Press

Abstract Access to resources Recommend Favorite

In Memoriam: Nelson Goodman 1906–1998

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 392-394

Cambridge University Press

Abstract Access to resources Recommend Favorite

1998–99 Annual Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 395-421

Cambridge University Press

Abstract Access to resources Recommend Favorite

5th Workshop on Logic, Language, Information and Computation (Wollic '98)

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 422-423

Cambridge University Press

Abstract Access to resources Recommend Favorite

6th Workshop on Logic, Language, Information and Computation (Wollic '99)

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 424-425

Cambridge University Press

Abstract Access to resources Recommend Favorite

Notices

Bulletin of Symbolic Logic,volume 5,issue 3 , Vol. 5, Iss. 3, 1999-09 , pp. 426-430

Cambridge University Press

Abstract Access to resources Recommend Favorite

Previous 1 2 Next Display item(s) per page Total 11 item(s)