Location:  Home » Cut elimination theorem  
Categories
Apparel
Automotive
Baby
Beauty
Books
Computers
DVD
Electronics
Gourmet Food
Gocery
Health
Home & Garden
Industrial & Science
Jewelry
Kindle Store
Kitchen
Magazines
MP3 Downloads
Music
Muscial Instruments
Office Products
Outdoor Living
Pet Supplies
Photo & Camera
Software
Sporting Goods
Tools & Hardware
Toys
Unbox
VHS
PC & Video Games
Watches
Wireless

Cut elimination theorem for the second order arithmetic with the [pi]1/1-comprehension axiom and the [omega]-rule (Report / Carnegie Institute of Technology. Dept. of Mathematics)

Author: Mariko Yasugi
Publisher: Carnegie Institute of Technology, Dept. of Mathematics


This item is no longer available




Powered by Associate-O-Matic


Search for Cut elimination theorem in Tutorials
Search for Cut elimination theorem in Encyclopedia
Search for Cut elimination theorem in Dictionary
Search for Cut elimination theorem in Open Directory
Search for Cut elimination theorem in Store
Search for Cut elimination theorem in SiteGetter
Search for Cut elimination theorem in ArticleGig
Search for Cut elimination theorem in TradeCrafts
Medical school help

Cut elimination theorem
Cut elimination theorem top Cut elimination theorem