dblp.uni-trier.dewww.uni-trier.de

Bardyaa Hesaam

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
2EEMohammad Ardeshir, Bardyaa Hesaam: An Introduction to Basic Arithmetic. Logic Journal of the IGPL 16(1): 1-13 (2008)
2002
1EEMohammad Ardeshir, Bardyaa Hesaam: Every Rooted Narrow Tree Kripke Model of HA is Locally PA. Math. Log. Q. 48(3): 391-395 (2002)

Coauthor Index

1Mohammad Ardeshir [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)