Start Over
You searched for: subject "Computable Functions"

Search Results

Cover image for Edinburgh L C F

Edinburgh L C F

Location
Access Content Online
Cover image for Computability theory: an introduction

Computability theory: an introduction

Joyner Library - General Stacks
Call Number: QA248.5 .J66
Cover image for The language of machines

The language of machines

Joyner Library - General Stacks
Call Number: QA267.3 .F56 1994
Cover image for Computable analysis

Computable analysis

Joyner Library - General Stacks
Call Number: QA9.59 .W46 2000
Cover image for Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem

Location
Access Content Online
Cover image for The nature of computation

The nature of computation

Location
Access Content Online
Cover image for Unsolvable classes of quantificational formulas

Unsolvable classes of quantificational formulas

Joyner Library - General Stacks
Call Number: QA9.63 .L48
Cover image for Computation and automata

Computation and automata

Joyner Library - General Stacks
Call Number: QA9.59 .S25 1985
Cover image for Logic and computation

Logic and computation

Location
Access Content Online
Cover image for Hilbert's tenth problem

Hilbert's tenth problem

Location
Access Content Online