Bulletin of Symbolic Logic,volume 16,issue 2  (06-2010)

Period of time： 2010年2期

Publisher： Cambridge University Press

Founded in： 1995

Total resources： 90

E-ISSN： 1943-5894|16|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 16,issue 2

Menu

The Senses of Functions in the Logic of Sense and Denotation

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 153-188

Cambridge University Press

Abstract Access to resources Recommend Favorite

Kleene's Amazing Second Recursion Theorem

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 189-239

Cambridge University Press

Abstract Access to resources Recommend Favorite

Almost Disjoint Families and Diagonalizations of Length Continuum

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 240-260

Cambridge University Press

Abstract Access to resources Recommend Favorite

An Invitation to Model-Theoretic Galois Theory

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 261-269

Cambridge University Press

Abstract Access to resources Recommend Favorite

Logic's lost genius: The life of Gerhard Gentzen

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 270-275

Cambridge University Press

Abstract Access to resources Recommend Favorite

Modal logic. An introduction to its syntax and semantics

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 275-276

Cambridge University Press

Abstract Access to resources Recommend Favorite

Relational semantics of nonclassical logical calculi

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 277-278

Cambridge University Press

Abstract Access to resources Recommend Favorite

Forcing idealized

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Handbook of practical logic and automated reasoning

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 279-281

Cambridge University Press

Abstract Access to resources Recommend Favorite

Introduction to Boolean algebras

Bulletin of Symbolic Logic,volume 16,issue 2 , Vol. 16, Iss. 2, 2010-06 , pp. 281-282

Cambridge University Press

Abstract Access to resources Recommend Favorite

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