Ditapis dengan
E-book Advances in Proof-Theoretic Semantics
Both Heyting and Gentzen approached questions of meaning in relation to whatit is to prove something, but as seen from the above, their approaches were stillvery different. Gentzen was concerned with what justifies inferences and therebywith what makes something a valid form of reasoning. These concerns were absentfrom Heyting’s explanations of mathematical propositions and assertions. The co…
- Edisi
- -
- ISBN/ISSN
- 9783319226866
- Deskripsi Fisik
- 281 hlm
- Judul Seri
- -
- No. Panggil
- 511.3 PE a
Ebook Gandharan Art and the Classical World: A Short Introduction
This book offers an introduction to Gandharan art and the mystery of its relationship with the Graeco-Roman world of the Mediterranean. It presents an accessible explanation of the ancient and modern contexts of Gandharan art, the state of scholarship on the subject, and guidance for further, in-depth study.
- Edisi
- -
- ISBN/ISSN
- 9781803276953
- Deskripsi Fisik
- 94 halaman, ilus.
- Judul Seri
- -
- No. Panggil
- 930.1
E-book Animals in Dutch Travel Writing, 1800-Present
The slowing down of international movement caused by the 2020-2021 COVID-19 pandemic clearly reveals the ethical dilemma travel represents. Research shows that travel has demonstrable positive effects on human beings: It brings new per-spectives and knowledge, and gives a sense of freedom and pleasure that enhances the subjective quality of life and well-being.1 However, the sheer volume of tra…
- Edisi
- -
- ISBN/ISSN
- 9789087284022
- Deskripsi Fisik
- 297 hlm
- Judul Seri
- -
- No. Panggil
- 902.492 ALT a
E-book Relative Histories : Mediating History in Asian American Family Memoirs
In general, I distinguish between four models of the kind of text gener-ally (in publishing and reviews) classified as “family memoirs”. As with all forms of literature, there are no definitive barriers between the forms I clas-sify as distinct. Part of my interest in contemporary auto/biographical writ-ing lies in how writers continually open up possibilities for self-representation throug…
- Edisi
- -
- ISBN/ISSN
- 9780824895358
- Deskripsi Fisik
- 201 hlm
- Judul Seri
- -
- No. Panggil
- 305.8 DAV r
E-book Programming Languages and Systems
Compiler correctness is an old idea [37,40,41] that has seen a significant revival in re-cent times. This new wave was started by the creation of the CompCert verified C com-piler [33] and continued by the proposal of many significant extensions and variants ofCompCert [8,9,12,23,29,30,42,52,56,57,61] and the success of many other mile-stone compiler verification projects, including Vellvm [64]…
- Edisi
- -
- ISBN/ISSN
- 9783030449148
- Deskripsi Fisik
- 785 hlm
- Judul Seri
- -
- No. Panggil
- 005.13 PET p
E-book Eyewitness Travel: Boston
See all of the beautiful and historic sites of Boston with our DK Eyewitness Travel Guide. Whether you're on the lookout for walking tours, scenic sites, and outdoor activities, or you're planning on enjoying attractions like Boston Common, Fenway Park, or historic Harvard University, our travel guide has all the best tips for every budget, plus restaurant and hotel recommendations and fun acti…
- Edisi
- -
- ISBN/ISSN
- 9781465460264
- Deskripsi Fisik
- 210 halaman, ilus.
- Judul Seri
- -
- No. Panggil
- 910 BRO e
E-book Marx: A Very Short Introduction
In Marx: A Very Short Introdution, Peter Singer identifies the central vision that unifies Marx's thought, enabling us to grasp Marx's views as a whole. He sees him as a philosopher primarily concerned with human freedom, rather than as an economist or a social scientist. In plain English, he explains alienation, historical materialism, the economic theory of Capital, and Marx's ideas of commun…
- Edisi
- -
- ISBN/ISSN
- 9780192854054
- Deskripsi Fisik
- 120 halaman
- Judul Seri
- -
- No. Panggil
- 320.5322 SIN m
E-book The Laws of Thermodynamics: A Very Short Introduction
The laws of thermodynamics drive everything that happens in the universe. From the sudden expansion of a cloud of gas to the cooling of hot metal--everything is moved or restrained by four simple laws. Written by Peter Atkins, one of the world's leading authorities on thermodynamics, this powerful and compact introduction explains what these four laws are and how they work, using accessible lan…
- Edisi
- -
- ISBN/ISSN
- 9780199572199
- Deskripsi Fisik
- 121 halaman
- Judul Seri
- -
- No. Panggil
- 536.7 ATK t 002841-eB-0122
E-book Byzantium: A Very Short Introduction
After surviving the fifth century fall of the Western European Roman Empire, the Byzantine Empire flourished as one of the most powerful economic, cultural, and military forces in Europe for a thousand years. In this Very Short Introduction Peter Sarris introduces the reader to the unique fusion of Roman political culture, Greek intellectual tradition and Christian faith that took place in t…
- Edisi
- -
- ISBN/ISSN
- 9780199236114
- Deskripsi Fisik
- 322 halaman
- Judul Seri
- -
- No. Panggil
- 949.5 SAR b
E-book Cosmology: A Very Short Introduction
Written in simple and accessible language, this nontechnical introduction to cosmology, or the creation and development of the universe, explains the discipline, covers its history, details the latest developments, and explains what is known, what is believed, and what is purely speculative. In addition, the author discusses the development of the Big Bang theory, and more speculative modern is…
- Edisi
- -
- ISBN/ISSN
- B095J99XTN
- Deskripsi Fisik
- 143 halaman
- Judul Seri
- -
- No. Panggil
- 113 COL c
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah