E-LIB Suche - Ergebnisse für: Boolos, George

1

Computability and logic:

Boolos, George ; Burgess, John P ; Jeffrey, Richard C - 5th ed. / . , 2007

Link: https://search.ebscohost..

2

Computability and logic:

Boolos, George ; Burgess, John P. ; Jeffrey, Richard C. - Fourth edition . , 2002

Link: https://doi.org/10.1017/..

3

Computability and logic:

Boolos, George ; Burgess, John P ; Jeffrey, Richard C - 4th ed. / . , 2002

Link: https://search.ebscohost..

4

Logic, Logic, and Logic:

Boolos, George
History and Philosophy of Logic. 21 (2000) 3 - p. 223-229 , 2000

Link: https://doi.org/10.1080/..

5

Constructing Cantorian Counterexamples:

Boolos, George
Journal of Philosophical Logic. 26 (1997) 3 - p. 237-239 , 1997

Link: https://www.jstor.org/st..

6

Constructing Cantorian counterexamples:

Boolos, George
Journal of Philosophical Logic. 26 (1997) 3 - p. 237-239 , 1997

Link: https://doi.org/10.1023/..

7

Logics of Provability:

Williamson, Timothy ; Boolos, George
The Philosophical Quarterly. 46 (1996) 182 - p. 110 , 1996

Link: https://doi.org/10.2307/..

8

Frege's Theorem and the Peano Postulates:

Boolos, George
The Bulletin of Symbolic Logic. 1 (1995) 3 - p. 317-326 , 1995

Link: https://www.jstor.org/st..

9

Preface:

Artemov, Sergei ; Boolos, George ; Engeler, Erwin...
Annals of Pure and Applied Logic. 75 (1995) 1-2 - p. 1 , 1995

Link: https://doi.org/10.1016/..

10

Gödel's Second Incompleteness Theorem Explained in Words of..:

Boolos, George
Mind. 103 (1994) 409 - p. 1-3 , 1994

Link: https://www.jstor.org/st..

11

Gödel's Second Incompleteness Theorem Explained in Words of..:

BOOLOS, GEORGE
Mind. 103 (1994) 409 - p. 1-3 , 1994

Link: https://doi.org/10.1093/..

12

The logic of provability:

Boolos, George , 1993

Link: https://doi.org/10.1017/..

Exemplar: Zentrale:E02 a mat 026.5 e/676

13

The analytical completeness of Dzhaparidze's polymodal logi..:

Boolos, George
Annals of Pure and Applied Logic. 61 (1993) 1-2 - p. 95-111 , 1993

Link: https://doi.org/10.1016/..

14

Basic Law (V):

Boolos, George ; Clark, Peter
Proceedings of the Aristotelian Society, Supplementary Volumes. 67 (1993) - p. 213-249 , 1993

Link: https://www.jstor.org/st..

15

Basic Law (V):

Boolos, George ; Clark, Peter
Aristotelian Society Supplementary Volume. 67 (1993) 1 - p. 213-249 , 1993

Link: https://doi.org/10.1093/..