Logic in Tehran
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By A K Peters/CRC Press

9780367807108
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals DENSE SUBFIELDS OF HENSELIAN FIELDS, AND INTEGER PARTS

2006 ◽  
pp. 204-226
Author(s):  
FRANZ-VIKTOR KUHLMANN

SPECKER'S THEOREM, CLUSTER POINTS, AND COMPUTABLE QUANTUM FUNCTIONS

2006 ◽  
pp. 134-159
Author(s):  
IRAJ KALANTARI ◽  
LARRY WELCH
Keyword(s):  
Cluster Points

A SIMPLE POSITIVE ROBINSON THEORY WITH LSTP ≠ STP

2006 ◽  
pp. 270-283
Author(s):  
MASSOUD POURMAHDIAN ◽  
FRANK WAGNER

BEATTY SEQUENCES AND THE ARITHMETICAL HIERARCHY

2006 ◽  
pp. 126-133
Author(s):  
MEHDI GHASEMI ◽  
MOJTABA MONIRI
Keyword(s):  
Arithmetical Hierarchy ◽  
Beatty Sequences

ON EXPLICIT DEFINABILITY IN ARITHMETIC

2006 ◽  
pp. 65-86
Author(s):  
LOU VAN DEN DRIES
Load More ...
Sign in / Sign up

Export Citation Format

Share Document