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

RRP £72.00

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


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

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

Adam Graham

I love lovereading4kids because I’ve read amazing books I would never have picked up, and its opened doors to new genre’s I now love.

Harriet Cunningham

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

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

It is THE website to use for narrowing down your search for any book. Definitely knocks the socks off any other book review website.

Nickey and Tomasz Hawryszczuk

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 have told all my friends, family & teachers to see for themselves just how great the site is. Without fail, they are hugely impressed.

Alexander Boxall – age 11
Lovereading

Lovereading 4 schools