Search Results

Search again

Search within results

Found: 4 Titles

Order by : Show: Per Page

Select Page | Deselect Page | Export saved(0) | Clear saved(0)

save

A science of operations machines, logic and the invention of programming / Mark Priestley.

Author

Priestley, Mark.

Published

London : Springer, c2011.

Call Number

Ebook

Book Loading...

save

Hybrid logic and its proof-theory by Torben Braüner.

Author

Braüner, Torben.

Published

Dordrecht : Springer, c2011.

Call Number

Ebook

Book Loading...

save

Logic and games on automatic structures playing with quantifiers and decompositions / Lukasz Kaiser.

Author

Kaiser, Lukasz.

Published

Berlin : Springer, c2011.

Call Number

Ebook

Book Loading...

save

Strict finitism and the logic of mathematical applications by Feng Ye

Author

Ye, Feng.

Published

Dordrecht : Springer, c2011.

Call Number

Ebook

Book Loading...

Search Tools: Get RSS Feed

Search again

Author

Subject

Publish year

Source Types

Location

Illustrations

Form of item

Conference publication

Found: 4 Titles

A science of operations machines, logic and the invention of programming / Mark Priestley.

Hybrid logic and its proof-theory by Torben Braüner.

Logic and games on automatic structures playing with quantifiers and decompositions / Lukasz Kaiser.

Strict finitism and the logic of mathematical applications by Feng Ye

About us

Statistics

Recent News

Useful Links

Contact Us