The Arché Papers on the Mathematics of Abstraction

The Arché Papers on the Mathematics of Abstraction

Saved in:

書目詳細資料
其他作者:	Cook, Roy T.
格式:	圖書
語言:	English
出版:	Springer 2017
主題:	Humanities Social Science Mathematics > Philosophy ; Logic, Symbolic and mathematical ; Abstraction 510.1
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/24968
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Mathematics for fun
由: Pang, Stanley L., et al.
出版: (1997)

Towards mathematical philosophy : papers from the Studia logica conference "Trends in Logic IV"
出版: (2017)

A course on mathematical logic
由: Srivastava, S. M.
出版: (2017)

A non-disjunctive material implication
由: Estalilla, Aliento V.
出版: (1989)

The inclusion of the rudiments of mathematical logic into the introductory college mathematics curriculum
由: Maalat, Chula U.
出版: (1987)

Bridging the Gap to University Mathematics
由: Hurst, Edward, et al.
出版: (2017)

An [omega]-order predicate logic with types
由: Anocha Yimsiriwattana
出版: (2009)

Mathematics and Computation, a Contemporary View
由: Hans Munthe-Kaas, Brynjulf Owren.
出版: (2017)

Cognitive skill achievement of college freshmen using Piaget's logical operations in mathematics
由: Leongson, Jaime Acedillo
出版: (2001)

Analysis and synthesis of logics : how to cut and paste reasoning systems
由: Coniglio, Marcelo, et al.
出版: (2017)

Mathematics and Technology
出版: (2017)

History of Mathematics
由: Craig Smoryński
出版: (2017)

Grammatical Inference: Algorithms and Applications
由: Jaime G. Carbonell, J\
出版: (2017)

Educational Algebra
由: Eugenio Filloy, Luis Puig, Teresa Rojano
出版: (2017)

TLV: Abstraction through testing, learning, and validation
由: SUN, Jun, et al.
出版: (2015)

Logics of Specification Languages
出版: (2017)

Applications of effective methods in computable mathematics
由: Salah Mostafa Mohamed Elsayed
出版: (2022)

Patterns of change : linguistic innovations in the development of classical mathematics
由: Kvasz, Ladislav., et al.
出版: (2017)

The Language of Mathematics
由: Bill Barton.
出版: (2017)

PENERAPAN ALGORITMA CUCKOO SEARCH (CS) PADA DYNAMIC TRAVELLING SALESMAN PROBLEM (DTSP)
由: LUTVI MAULIDA AL HUMAIRO, 0811112006
出版: (2018)

ANALISIS KESTABILAN DAN KONTROL OPTIMAL MODEL MATEMATIKA PENYEBARAN PENYAKIT DIFTERI
由: YUSTINA ALDIAST ITHRISA, 081411233003
出版: (2018)

Mathematics and politics : strategy, voting, power and proof
由: Taylor, Alan D., et al.
出版: (2017)

Mathematical semantics: a dual history? 1965-1975
由: Loh, Yi Fong
出版: (2022)

Critical Issues in Mathematics Education
由: Philip Clarkson, Norma Presmeg.
出版: (2017)

Games : unifying logic, language, and philosophy
出版: (2017)

Temporal Logic and State Systems
由: Kröger, Fred
出版: (2017)

Axiomatic strengths of certain mathematical statements
由: Koh, Heer Tern
出版: (2020)

Potensi Light Emitting Diode (Led) Biru Untuk Fotoinaktivasi Bakteri Staphylococcus Aureus Dengan Porfirin Endogen
由: Suryani Dyah Astuti, -
出版: (2011)

HYBRID ALGORITMA ARTIFICIAL BEE COLONY (ABC) DAN SIMULATED ANNEALING (SA) UNTUK MENYELESAIKAN MULTITRIPS VEHICLE ROUTING PROBLEM (MTVRP)
由: Refa Angreini Ayuningputri, 081311233028
出版: (2019)

DIMENSI METRIK KUAT DAN DIMENSI METRIK KUAT LOKAL GRAF HASIL OPERASI KORONA TINGKAT-
由: AYUNE ROSFIANA, 081411231014
出版: (2018)

Dimensi Metrik Dominasi Pada Graf Hasil Operasi Amalgamasi Sisi
由: Fadillah Dian Maharani
出版: (2021)

A framework for program reasoning based on constraint traces
由: ANDREW EDWARD SANTOSA
出版: (2010)

Institution-independent Model Theory
由: Diaconescu, Răzvan
出版: (2017)

Integral methods in science and engineering : techniques and applications
由: Constanda, C. ; Potapenko, S.
出版: (2017)

The Professional Education and Development of Teachers of Mathematics
由: Michèle Artigue, Bernard R. Hodgson, Ruhama Even, Deborah Loewenberg Ball
出版: (2017)

The Unreal Life of Oscar Zariski
由: Carol Parikh
出版: (2017)

Unmanned Aircraft Systems
由: Valavanis, Kimon P. ; Oh, Paul ; Piegl, Les A.
出版: (2017)

RANCANGAN ROBUST TAGUCHI
由: MOHAMMAD AINUL YAQIN, 089411190
出版: (2000)

SELANG KEPERCAYAAN KURVA REGRESI NONPARAMETRIK DENGAN ERROR LOG NORMAL BERDASARKAN ESTIMATOR KERNEL
由: KAMELIA ALI, 080912079
出版: (2004)

DIMENSI METRIK KOMPLEMEN PADA GRAF HASIL OPERASI JOIN
由: ATMIM NURRONA, 081511233028
出版: (2019)