登入選單
Google圖書搜尋
Iterated Inductive Definitions and Subsystems of A...
作者
W. Buchholz / S. Feferman / W. Pohlers / W. Sieg
出版Springer, 2006-11-14
ISBN
9783540386490 / 3540386491
主題
Mathematics
A Structural Account of Mathematics
作者
Charles S. Chihara
出版Clarendon Press, 2003-11-20
ISBN
9780191533105 / 0191533106
主題
Philosophy
Algebras, Lattices, Varieties
作者
Ralph S. Freese / Ralph N. McKenzie / George F. McNulty / Walter F. Taylor
出版American Mathematical Society, 2022-10-28
ISBN
9781470467975 / 1470467976
主題
Mathematics
Computation and Logic in the Real World
作者
S. Barry Cooper
出版Springer Science & Business Media, 2007-06-11
ISBN
9783540730002 / 3540730001
主題
Computers
A Tour Through Mathematical Logic
作者
Robert S. Wolf
出版American Mathematical Soc., 2005-12-31
ISBN
9781614440284 / 161444028X
主題
Algebra, Abstract
Computability Theory
作者
S. Barry Cooper
出版CRC Press, 2017-09-06
ISBN
9781420057560 / 1420057561
主題
Mathematics
Proofs and Computations
作者
Helmut Schwichtenberg / Stanley S. Wainer
出版Cambridge University Press, 2011-12-15
ISBN
9781139504164 / 1139504169
主題
Mathematics
Reports of the Midwest Category Seminar III
作者
S. MacLane / M. Barr / P. Berthiaume / B. J. Day / J. Duskin / S. Fefermann / G. M. Kelly / M. Tierney / R. F. C. Walters
出版Springer, 2006-11-22
ISBN
9783540361503 / 3540361502
主題
Mathematics
Subrecursive Programming Systems
作者
James S. Royer / John Case
出版Springer Science & Business Media, 2012-12-06
ISBN
9781461202493 / 1461202493
主題
Computers
Information and Randomness
作者
Cristian S. Calude
出版Springer Science & Business Media, 2013-03-09
ISBN
9783662049785 / 3662049783
主題
Mathematics
Ontology and the Vicious-circle Principle
作者
Charles S. Chihara
出版1973
ISBN
UOM:39015000692270
主題
Biography & Autobiography
A History of Crimea
作者
Kerstin S. Jobst
出版Bloomsbury Publishing, 2024-12-12
ISBN
9781350328013 / 1350328014
主題
History
Global Clusters of Innovation
作者
Jerome S. Engel
出版Edward Elgar Publishing, 2014-09-26
ISBN
9781783470839 / 1783470836
主題
Social Science
Classification Theory
作者
S. Shelah
出版Elsevier, 1990-12-06
ISBN
9780080880242 / 008088024X
主題
Computers
Discrete Mathematics and Theoretical Computer Scie...
作者
Cristian S. Calude / Michael J. Dinneen
出版Springer Science & Business Media, 2003-06-27
ISBN
9783540405054 / 3540405054
主題
Computers
To Halt Or Not To Halt? That Is The Question
作者
Cristian S Calude
出版World Scientific, 2024-03-20
ISBN
9789811232299 / 9811232296
主題
Computers
Elements of Operator Theory
作者
Carlos S. Kubrusly
出版Springer Science & Business Media, 2013-03-14
ISBN
9781475733280 / 1475733283
主題
Mathematics
Brain-Wise
作者
Patricia S. Churchland
出版MIT Press, 2002-10-02
ISBN
026253200X / 9780262532006
主題
Medical
How Young Holocaust Survivors Rebuilt Their Lives
作者
Francoise S. Ouzan
出版Indiana University Press, 2018-04-24
ISBN
9780253033994 / 0253033993
主題
History
A New Mathematical Framework for the Study of Link...
作者
S. Shahshahani
出版American Mathematical Soc., 1979
ISBN
9780821822111 / 082182211X
主題
Mathematics
Pain
作者
Robert S. Knighton
出版1966
ISBN
CHI:11761178
主題
Pain
The Whole Emergency Medicine Catalog
作者
Michael S. Jastremski
出版Saunders, 1985
ISBN
UOM:39015009540645
主題
Medical
Proper Forcing
作者
S. Shelah
出版Springer, 2013-12-11
ISBN
9783662215432 / 3662215438
主題
Mathematics
The Worlds of Possibility
作者
Charles S. Chihara
出版Oxford University Press, USA, 1998
ISBN
UOM:39015047124378
主題
Mathematics
Integrating Decision Procedures for Temporal Verif...
作者
Nikolaj S. Bjørner
出版1998
ISBN
STANFORD:36105025918892
Foundations of Mathematics
作者
William S. Hatcher
出版1968
ISBN
MINN:319510015511483
主題
Logic, Symbolic and mathematical
Report of the Committee on the Leo S. Rowe Pan Ame...
作者
Leo S. Rowe Pan American Fund
出版1973
ISBN
UOM:39015080296265
主題
Student loans
Disorders of the Spleen
作者
Richard S. Neiman / Attilio Orazi
出版Saunders, 1999
ISBN
UOM:39015042000185
主題
Medical
The Physiological Basis of Hearing
作者
Wolf Dieter Keidel / S. Kallert / M. Korth
出版1983
ISBN
UOM:39015004441211
主題
Medical
A Bibliography of Logic Books
作者
Michael Moss / Dana S. Scott
出版1975
ISBN
UVA:X000725686
主題
Logic