Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 351 | << page >> |
Sort by
|
ISBN: 0865975469 086597554X Year: 2005 Volume: 5 Publisher: Indianapolis Liberty Fund
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0865975477 0865975558 Year: 2005 Volume: 6 Publisher: Indianapolis Liberty Fund
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0865975485 0865975566 9780865975484 9780865975569 Year: 2005 Volume: 7 Publisher: Indianapolis, IN Liberty Fund
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9780750661249 Year: 2005 Publisher: London Routledge
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Architecture --- architecture [discipline] --- Doric order --- Composite order --- Corinthian order --- Tuscan order --- Ionic order
ISBN: 0521019028 Year: 2005 Publisher: Cambridge : Cambridge university press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses.
ISBN: 0765606690 Year: 2005 Publisher: New York, N.Y. Sharpe
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0865975639 Year: 2005 Publisher: Indianapolis, Ind. Liberty Fund
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Economic order --- Italy
ISBN: 1842773542 1842773550 Year: 2005 Publisher: London Zed
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0865975442 0865975523 Year: 2005 Volume: 3 Publisher: Indianapolis Liberty Fund
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Economic order --- Economics --- Dictionaries --- English
ISBN: 9789004149168 9789047416715 Year: 2005 Publisher: Leiden;Boston Brill | Nijhoff
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This work traces the attempt to complete the creation of a unified legal and political system in contemporary Russia. Multiple political and legal aspects of the problem are examined by both political scientists and legal scholars. The volume focuses on post-Soviet developments in Russia, especially during the Putin administration. The contributors' perspectives include constitutional law, judicial development, law reform, human rights, federalism, and international law. The collective study finds that much progress has been made toward the unification of political and legal space in Russia, although significant problems remain to be addressed in order for the process to continue to move forward.
| Listing 1 - 10 of 351 | << page >> |
Sort by
|