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

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

We love Lovereading4kids because they put books in front of us we wouldn’t otherwise have read. They make us more adventurous readers!

Emily Jacques

I love finding new books to read. My mummy and me look at the new ones coming out. I have written reviews of some of them!

Jessica Cobbin – age 7

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

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

Sarah Murray – age 15

I think Lovereading4kids is an amazing company because of the friendly staff and the fabulous chance to read great books before publication.

Adam Graham

At @HHSHaringey we love @lovereading4kids because our pupils can practice reviewing & get free upcoming books before anyone else!

Helen Swinyard – Heartlands High

Lovereading4kids is great, we get books really early never late. We love to read and review, and think you would like it too. The excitement

Jasmine Harris-Hart, age 12
Lovereading

Lovereading 4 schools