Start Over
You searched for: subject "First-order logic."

Search Results

Cover image for Metalogic

Metalogic

Joyner Library - General Stacks
Call Number: BC128 .H85 1971
Cover image for A lattice of chapters of mathematics

A lattice of chapters of mathematics

Joyner Library - General Stacks
Call Number: QA3 .A57 NO. 426
Cover image for Fragments of first-order logic

Fragments of first-order logic

Location
Access Content Online
Cover image for Extensions of first order logic

Extensions of first order logic

Joyner Library - General Stacks
Call Number: QA9 .M315 1996
Cover image for The principles of mathematics revisited

The principles of mathematics revisited

Joyner Library - General Stacks
Call Number: QA8.4 .H56 1996
Cover image for Semigroups underlying first-order logic

Semigroups underlying first-order logic

Joyner Library - General Stacks
Call Number: QA3 .A57 NO. 866
Cover image for Duality and definability in first order logic

Duality and definability in first order logic

Joyner Library - General Stacks
Call Number: QA3 .A57 NO. 503
Cover image for A lattice of chapters of mathematics

A lattice of chapters of mathematics

Location
Access Content Online
Cover image for Semigroups underlying first-order logic

Semigroups underlying first-order logic

Location
Access Content Online
Cover image for Henkin-Keisler models

Henkin-Keisler models

Location
Access Content Online