LIBERTAS MATHEMATICA (vol.I-XXXI)
Publishing System of the American Romanian Academy of Arts and Science
Open Journal Systems
Journal Help
User
Username
Password
Remember me
Subscription
Login to verify subscription
Notifications
View
Subscribe
Journal Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
Other Journals
Font Size
Information
For Readers
For Authors
For Librarians
Home
About
Login
Register
Search
Current
Archives
Home
>
Search
>
Author Details
Author Details
Rezus, Adrian
Libertas Mathematica vol.6
- Editor-in-Chief
Semantics of Constructive Type Theory
Details
PDF
Libertas Mathematica vol.2
- Editor-in-Chief
On a Theorem of Tarski
Details
PDF
ISSN: 0278-5307