Hits:

Title of Paper:The countable versus uncountable branching recurrences in computability logic

Journal:Journal of Applied Logic，2012

Indexed by:Journal paper

Document Code:SCI (000312521800011)

Discipline:Natural Science

First-Level Discipline:Mathematics

Document Type:J

Volume:10

Issue:4

Page Number:431-446

Translation or Not:No

Included Journals:SCI

Date:2018-08-16