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

Publication date

31st December 1995

ISBN

9780306188046


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

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

We love Lovereading as my 5 year old loves to read new books before anyone else has a chance, she says it makes reading exciting!

Tracey Chorley

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

It gives me a chance to read types of books that I would not normally try, and it motivates me to read every night to finish it!

Alice Horncastle, age 14

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

Sarah Murray – age 15

I love Lovereading as it provides an honest opinion and showcases a range of fiction. Suited to both parents & kids alike, it’s a must-use.

Georgie Rowe – age 16
Lovereading

Lovereading 4 schools