登入選單
Google圖書搜尋
The George Boolos Memorial Symposium
作者
George Boolos Memorial Symposium
出版2001
ISBN
OCLC:313712506
Logic, Logic, and Logic
作者
George Boolos
出版Harvard University Press, 1998
ISBN
067453767X / 9780674537675
主題
Mathematics
The Logic of Provability
作者
George Boolos
出版Cambridge University Press, 1995-04-28
ISBN
0521483255 / 9780521483254
主題
Mathematics
Computability and Logic
作者
George S. Boolos / John P. Burgess / Richard C. Jeffrey
出版Cambridge University Press, 2007-09-17
ISBN
9780521877527 / 0521877520
主題
Computers
Papers
作者
George Boolos
出版1961
ISBN
OCLC:122614832
The Unprovability of Consistency
作者
George Boolos
出版Cambridge University Press, 2009-01-08
ISBN
0521092973 / 9780521092975
主題
Mathematics
Computability and Logic
作者
George Boolos / Richard C. Jeffrey
出版CUP Archive, 1974-07-18
ISBN
052120402X / 9780521204026
主題
Mathematics
Three Logico-philosophical Studies
作者
George Boolos
出版1985
ISBN
OCLC:13448160
主題
Language and logic
Computability and Logic
作者
George Boolos / Richard C. Jeffrey
出版1980
ISBN
0521234794 / 9780521234795
主題
Philosophy
Philosophy of Mathematics
作者
George Boolos
出版1990
ISBN
OCLC:174869181
主題
Mathematics
The Unprovability of Consistence
作者
George Boolos
出版1979
ISBN
OCLC:1335983280
A Simple Proof of Gödel's First Incompleteness The...
作者
George Stephen Boolos
出版1961
ISBN
OCLC:1340510400
To be is to be a Value of a Variable (or to be Som...
作者
George Boolos
出版1985
ISBN
OCLC:632103290
Computability and Logic
作者
Boolos George Jeffrey Richard C Burgess John P
出版2014-05-14
ISBN
0511649444 / 9780511649448
主題
Computable functions
The Unprovability of Consistency
作者
George Boolos
出版1979
ISBN
OCLC:1151674954
主題
Modality (Logic)
Junior Independent Work, 1959-1960
作者
George Stephen Boolos
出版1960
ISBN
OCLC:1340378747
The hierarchy of constructible sets of integers
作者
George S. Boolos
出版1966
ISBN
OCLC:634913030
可计算性与数理逻辑
作者
博洛斯 / 伯吉斯 / 杰弗里
出版2005
ISBN
7121007797 / 9787121007798
Logic, Logic, and Logic
作者
George Boolos
出版Harvard University Press, 1998
ISBN
067453767X / 9780674537675
主題
Mathematics
Computability and Logic
作者
George S. Boolos / John P. Burgess / Richard C. Jeffrey
出版Cambridge University Press, 2002-03-04
ISBN
0521007585 / 9780521007580
主題
Mathematics
The Logic of Provability
作者
George Boolos
出版Cambridge University Press, 1995-04-28
ISBN
0521483255 / 9780521483254
主題
Mathematics
A New Introduction to Modal Logic
作者
George Edward Hughes / M. J. Cresswell
出版Psychology Press, 1996
ISBN
9780415126007 / 0415126002
主題
Mathematics
Computability
作者
George Tourlakis
出版Springer Nature, 2022-08-02
ISBN
9783030832025 / 3030832023
主題
Computers
Exploring Topics in the History and Philosophy of ...
作者
George Englebretsen
出版Walter de Gruyter GmbH & Co KG, 2015-09-14
ISBN
9783110435047 / 3110435047
主題
Philosophy
The Lord's Law and Day. A Review of Dr. Macleod's ...
作者
George MACAULAY (Minister of Stockwell Free Church.)
出版1866
ISBN
BL:A0020081874
A General History of the Dichleamydeous Plants ......
作者
George Don
出版1838
ISBN
PSU:000009395985
主題
Botany
English Etymology, or a derivative dictionary of t...
作者
George William LEMON
出版1783
ISBN
BL:A0019542590
Computability and Logic
作者
George Boolos / Richard C. Jeffrey
出版CUP Archive, 1974-07-18
ISBN
052120402X / 9780521204026
主題
Mathematics
Evaluation
作者
Melvin M. Mark / Gary T. Henry / George Julnes
出版Jossey-Bass, 2000-09-15
ISBN
UOM:39015050256554
主題
Business & Economics
The Criteria of Raw Materials Inventory Control
作者
Karl George Rahdert
出版1952
ISBN
IND:30000088408079