1
Computability and Logic

Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Yıl:
2007
Dil:
english
Dosya:
PDF, 2.23 MB
5.0 / 5.0
english, 2007
2
可计算性与数理逻辑

可计算性与数理逻辑

布勒斯，George S. Boolos
Yıl:
2005
Dil:
chinese
Dosya:
PDF, 16.84 MB
0 / 5.0
chinese, 2005
3
Computability and logic

Computability and logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Yıl:
2002
Dil:
english
Dosya:
PDF, 1.77 MB
0 / 0
english, 2002
4
Logic, Logic and Logic

Logic, Logic and Logic

George Boolos
Yıl:
1998
Dil:
english
Dosya:
PDF, 38.13 MB
0 / 0
english, 1998
5
The Logic of Provability

The Logic of Provability

George S. Boolos
Yıl:
1995
Dil:
english
Dosya:
PDF, 2.64 MB
5.0 / 0
english, 1995
6
Logic, logic, and logic

Logic, logic, and logic

George Boolos, John P. Burgess, Richard Jeffrey
Yıl:
1998
Dil:
english
Dosya:
DJVU, 7.71 MB
0 / 0
english, 1998
7
Meaning and Method: Essays in Honor of Hilary Putnam

Meaning and Method: Essays in Honor of Hilary Putnam

George Boolos
Yıl:
1990
Dil:
english
Dosya:
PDF, 33.49 MB
0 / 0
english, 1990
8
Computability and Logic, 5th Edition

Computability and Logic, 5th Edition

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Yıl:
2007
Dil:
english
Dosya:
PDF, 2.23 MB
5.0 / 0
english, 2007
10
Computability and Logic, Fifth Edition

Computability and Logic, Fifth Edition

GEORGE S. BOOLOS, JOHN P. BURGESS and RICHARD C. JEFFREY
Yıl:
2007
Dil:
english
Dosya:
PDF, 2.23 MB
0 / 5.0
english, 2007
11
On Second-Order Logic

On Second-Order Logic

Boolos George
Dil:
english
Dosya:
PDF, 1.14 MB
0 / 0
english
12
The Logic of Provability

The Logic of Provability

George S. Boolos
Yıl:
1995
Dil:
english
Dosya:
PDF, 2.31 MB
5.0 / 0
english, 1995
13
Computability and Logic

Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Yıl:
2007
Dil:
english
Dosya:
PDF, 2.05 MB
5.0 / 0
english, 2007
14
Computability and Logic

Computability and Logic

George Boolos, Richard C. Jeffrey
Yıl:
1981
Dil:
english
Dosya:
DJVU, 2.24 MB
0 / 0
english, 1981
15
Logic, Logic, and Logic

Logic, Logic, and Logic

George Boolos
Yıl:
1998
Dil:
english
Dosya:
DJVU, 7.72 MB
0 / 0
english, 1998
16
Computability and Logic

Computability and Logic

George S. Boolos
Yıl:
2002
Dil:
english
Dosya:
PDF, 17.21 MB
0 / 0
english, 2002
17
The Logic of Provability

The Logic of Provability

George Boolos
Yıl:
1993
Dil:
english
Dosya:
PDF, 10.18 MB
0 / 0
english, 1993
18
Computability and Logic, 4th edition

Computability and Logic, 4th edition

George S. Boolos, John P. Burgess, Richard C. Jeffrey,
Yıl:
2002
Dil:
english
Dosya:
PDF, 17.12 MB
0 / 0
english, 2002
19
The Logic of Provability

The Logic of Provability

George S. Boolos
Yıl:
1995
Dil:
english
Dosya:
PDF, 8.35 MB
0 / 0
english, 1995
20
Logic, Logic, and Logic

Logic, Logic, and Logic

George Boolos
Yıl:
1999
Dil:
english
Dosya:
PDF, 15.95 MB
0 / 4.0
english, 1999
21
The Logic of Provability

The Logic of Provability

George S. Boolos
Yıl:
1995
Dil:
english
Dosya:
DJVU, 1.66 MB
0 / 0
english, 1995
22
To Be is to be a Value of a Variable (or to be Some Values of Some Variables)

To Be is to be a Value of a Variable (or to be Some Values of Some Variables)

Boolos George
Dil:
english
Dosya:
PDF, 1.60 MB
0 / 0
english
23
Computability and Logic

Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey
Yıl:
2002
Dil:
english
Dosya:
DJVU, 4.34 MB
0 / 0
english, 2002
24
The Logic of Provability

The Logic of Provability

George S. Boolos
Yıl:
1995
Dil:
english
Dosya:
DJVU, 1.66 MB
0 / 0
english, 1995