Studies in Constructive Mathematics and Mathematical Logic by A. O. Slisenko
  

Studies in Constructive Mathematics and Mathematical Logic

Written by A. O. Slisenko
Illustrated by
Part of the Seminars in Mathematics Series

Synopsis

Studies in Constructive Mathematics and Mathematical Logic by A. O. Slisenko

Herbrand's Theorem for Prenex Formulas of Constructive Predicate Calculus .. 47 G. E. Mints Variation in the Deduction Search Tactics in Sequential Calculus . . . . . . . . . . . . . . . . .. . . 52 . . . G. E. Mints Imbedding Operations Associated with Kripke's Semantics . . . . . . . . . . . . . . . . . . .. . . 60 . . . .

About the Author

Other Formats

Book Info

Format

Hardback
88 pages

Author

A. O. Slisenko
More books by A. O. Slisenko

Publisher

Kluwer Academic/Plenum Publishers an imprint of Springer Science+Business Media

Publication date

31st December 1995

ISBN

9780306188046


We love Lovereading4kids because it promotes reading choices, new authors and a sense of community for children of all ages!

Rachel Bridgeman

It has introduced my children to books we hadn’t come across before. Real children’s reviews gives a great insight into what others think to

Lorraine Woods

It is fantastic, you get to read lots of books and you always find something new and amazing in them.

Erica Motoc, age 7

I love all the books they recommend & put up for me to review. I also love the fact that they give new authors the chance to share their boo

Daisy Pennock – age 15

You give me age appropriate ideas of books I can read and buy for the children and find out what other children their age think of them too.

Katie Lonsdale

Lovereading is just a convenient way to find new books and hear others opinions on them.

Sarah Murray – age 15

Love “Lovereading4kids” as my son gets to hear about & read new books before his mates which keeps him interested in reading=a very happy Mum

Liz Evans

I love ‘LoveReading 4 kids’ because they let you read and learn things you’d never dreamed of learning before.

Emily Horncastle – age 11
Lovereading

Lovereading 4 schools
****