Inclusions: *Handbook of Mathematical Logic*

[Jeff Rubard]

http://www.amazon.com/Handbook-Mathematical-Studies-Foundations-Mathematics/dp/0444863885

I'M EVERY WOMAN
IT'S ALL IN HERE
INCLUDING JEFFREY PARIS
AND TOPOS THEORY MY DEAR

(North-Holland)

[Big Red Jeff Rubard]

http://www.amazon.com/Handbook-Mathematical-Studies-Foundations-Mathe...
I'M EVERY WOMAN
IT'S ALL IN HERE
INCLUDING JEFFREY PARIS
AND TOPOS THEORY MY DEAR
(North-Holland)

Alt.:
Introduction to Mathematical Logic (PMS-13)
Alonzo Church (1903-1995 Princeton/UCLA And A Bottle of Bread)

Table of Contents
Preface
Introduction 1
Ch. I The Propositional Calculus 69
Ch. II The Propositional Calculus (Continued) 119
Ch. III Functional Calculi of First Order 168
Ch. IV The Pure Functional Calculus of First Order 218
Ch. V Functional Calculi of Second Order 295
Index of Definitions 357
Index of Authors Cited 373
Errata 377

Do *nae* listen to others you've heard; Mr Church *already* got his
McKeon and the fundamen-tals of first-order logic and "a little twist"
suitably defensibly presented as per the standards o' reality. A
'crypticism' this.

[Jeff Rubard]

On Jan 21, 9:43 pm, Big Red Jeff Rubard

http://www.amazon.com/Handbook-Mathematical-Studies-Foundations-Mathe...
I'M EVERY WOMAN
IT'S ALL IN HERE
INCLUDING JEFFREY PARIS
AND TOPOS THEORY MY DEAR
(North-Holland)

Introduction to Mathematical Logic (PMS-13)AlonzoChurch (1903-1995 Princeton/UCLA And A Bottle of Bread)
Table of Contents
        Preface
        Introduction    1
Ch. I   The Propositional Calculus      69
Ch. II  The Propositional Calculus (Continued)  119
Ch. III Functional Calculi of First Order       168
Ch. IV  The Pure Functional Calculus of First Order     218
Ch. V   Functional Calculi of Second Order      295
        Index of Definitions    357
        Index of Authors Cited  373
        Errata  377
Do *nae* listen to others you've heard; Mr Church *already* got his
McKeon and the fundamen-tals of first-order logic and "a little twist"
suitably defensibly presented as per the standards o' reality. A
'crypticism' this.

Alternative:
*A Course in Mathematical Logic* by Yu. I. Manin [Springer ~1977]
The Best Little Yellow Whorehouse in Texas, but THINK.
[Probably Jeff wrote it.]

[Jeffrey Rubard]

On Jan 21, 9:43 pm, Big Red Jeff Rubard

http://www.amazon.com/Handbook-Mathematical-Studies-Foundations-Mathe...
I'M EVERY WOMAN
IT'S ALL IN HERE
INCLUDING JEFFREY PARIS
AND TOPOS THEORY MY DEAR
(North-Holland)

Introduction to Mathematical Logic (PMS-13)AlonzoChurch (1903-1995 Princeton/UCLA And A Bottle of Bread)
Table of Contents
Preface
Introduction 1
Ch. I The Propositional Calculus 69
Ch. II The Propositional Calculus (Continued) 119
Ch. III Functional Calculi of First Order 168
Ch. IV The Pure Functional Calculus of First Order 218
Ch. V Functional Calculi of Second Order 295
Index of Definitions 357
Index of Authors Cited 373
Errata 377
Do *nae* listen to others you've heard; Mr Church *already* got his
McKeon and the fundamen-tals of first-order logic and "a little twist"
suitably defensibly presented as per the standards o' reality. A
'crypticism' this.

*A Course in Mathematical Logic* by Yu. I. Manin [Springer ~1977]
The Best Little Yellow Whorehouse in Texas, but THINK.
[Probably Jeff wrote it.]

2022 Update: I, of course, never mastered the *Handbook of Mathematical Logic*.
(It's got like 2000 pages, dudes.)