BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

a m ungar

3 cilt bulundu.

Cilt sonuçları

Normalization, cut-elimination, and the theory of proofs

Normalization, cut-elimination, and the theory of proofs

A. M. Ungar · CSLI

236 sayfa · 1992

Proof theory / Mathematics, philosophy

Mathematics, greekBeginnings of Greek MathematicsArpád Szabó, A. M. Ungar

Beginnings of Greek Mathematics

Arpád Szabó, A. M. Ungar · Springer

Sayfa sayısı yok · 2010

Mathematics, greek

Earth Observing System (Program)Earth Observing-1 Hyperion & Advanced Land Imager (ALI) Data Users WorkshopS. G. Ungar, Granville Paules, Raymond A. Byrnes, Darla M. Duval, Pamela Barry, Jay Pearlman, Jeff Mendenhall, Lawrence Ong, Geological Survey (U.S.), Goddard Space Flight Center, United States. National Aeronautics and Space Administration

Earth Observing-1 Hyperion & Advanced Land Imager (ALI) Data Users Workshop

S. G. Ungar, Granville Paules, Raymond A. Byrnes, Darla M. Duval, Pamela Barry, Jay Pearlman, Jeff Mendenhall, Lawrence Ong, Geological Survey (U.S.), Goddard Space Flight Center, United States. National Aeronautics and Space Administration · National Aeronautics and Space Administration

Sayfa sayısı yok · 2001

Earth resources technology satellites / Earth resources / Remote sensing / Space stations / Earth Observing System (Program)