Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

Matematikai logika

Subject

Browse all works related to Matematikai logika.

Home
Subject
Matematikai logika

"18" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Independence-friendly logic

Independence-friendly logic: a game-theoretic approach

by Sandu, Gabriel, Sevenster, Merlijn, Mann, Allen Lawrence

fromLondon Mathematical Society lecture notes series

0 Type: Book

Logic for computer science

Logic for computer science

by Clarke, Michael, Reeves, Steve

fromInternational computer science series

0 Type: Book

How to prove it

How to prove it: a structured approach

by Velleman, Daniel J.

0 Type: Book

Lectures on linear logic

Lectures on linear logic

by Troelstra, Anne Sjerp

fromCSLI lecture notes

0 Type: Book

Logics for artificial intelligence

Logics for artificial intelligence

by Turner, Raymond

fromEllis Horwood series in artifical intelligence

0 Type: Book

Foundations of mathematical logic

Foundations of mathematical logic

by Curry, Haskell B.

0 Type: Book

Automated proof search in non-classical logics

Automated proof search in non-classical logics: efficient matrix proof methods for modal and intu…

by Wallen, Lincoln A.

fromMIT Press series in artificial intelligence

0 Type: Book

Type theory and formal proof

Type theory and formal proof: an introduction

by Nederpelt, Rob, Geuvers, Herman

0 Type: Book

Mathematical logic

Mathematical logic

by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang

fromUndergraduate texts in mathematics

0 Type: Book

Mathematical logic

Mathematical logic

by Flum, Jörg, Ebbinghaus, Heinz-Dieter, Thomas, Wolfgang

fromUndergraduate texts in mathematics

0 Type: Book

Frege

Frege: importance and legacy

by Schirn, Matthias

fromPerspektiven der analytischen Philosophie

0 Type: Book

Formal philosophy

Formal philosophy

by Thomason, Richmond H., Montague, Richard

0 Type: Book

Set theory and logic

Set theory and logic

by Stoll, Robert Roth

fromDover books on advanced mathematics

0 Type: Book

Q.E.D

Q.E.D: beauty in mathematical proof

by Polster, Burkard

fromWooden books

0 Type: Book

Handbook of mathematical logic

Handbook of mathematical logic

by Barwise, Jon

fromStudies in logic and the foundations of mathematics

0 Type: Book

Mathematical logic for computer science

Mathematical logic for computer science

by Ben-Ari, Mordechai

0 Type: Book

Games, puzzles, and computation

Games, puzzles, and computation

by Hearn, Robert A., Demaine, Erik D.

0 Type: Book

An algebraic approach to non-classical logics

An algebraic approach to non-classical logics

by Rasiowa, Helena

fromStudies in logic and the foundations of mathematics

0 Type: Book

Subjects

Matematikai logika (18) formális logika (3) Logic, Symbolic and mathemati… (2) Problémamegoldás -- matematik… (2) Algoritmus (1) Automatisches Beweisverfahren (1) Bizonyításelmélet (1) Frege, Gottlob (1) Halmazelmélet (1) Intuitionisme (Mathématiques) (1) Intuitionistic mathematics (1) Játékelmélet (1) Künstliche Intelligenz (1) Lambda-kalkulus (1) Logika (1) Logika -- szimbolikus (1) Logique symbolique et mathéma… (1) Matematika tanítása -- bizony… (1) Matematikai játék (1) Matematikai modell (1) Matematikai nyelvészet (1) Mathematical logic (1) Mathematische Logik (1) Mathématiques intuitionnistes (1) Mesterséges intelligencia (1) Modality (Logic) (1) Modalité (Logique) (1) Nichtklassische Logik (1) Nonclassical mathematical log… (1) Proof theory (1) Prüfprogramm (1) Szórakoztató matematika (1) Théorie de la preuve (1) analitikus filozófia -- konfe… (1) artificial intelligence (1) bizonyításelmélet -- matemati… (1) logica (1) logisztika (1) számítógéptudomány (1)

Contributor

Ebbinghaus, Heinz-Dieter (2) Flum, Jörg (2) Thomas, Wolfgang (2) Barwise, Jon (1) Ben-Ari, Mordechai (1) Clarke, Michael (1) Curry, Haskell B. (1) Demaine, Erik D. (1) Geuvers, Herman (1) Hearn, Robert A. (1) Mann, Allen Lawrence (1) Montague, Richard (1) Nederpelt, Rob (1) Polster, Burkard (1) Rasiowa, Helena (1) Reeves, Steve (1) Sandu, Gabriel (1) Schirn, Matthias (1) Sevenster, Merlijn (1) Stoll, Robert Roth (1) Thomason, Richmond H. (1) Troelstra, Anne Sjerp (1) Turner, Raymond (1) Velleman, Daniel J. (1) Wallen, Lincoln A. (1)

Publisher

North-Holland (2) Springer-Verlag (2) A K Peters, Ltd (1) Addison-Wesley (1) American Elsevier (1) Cambridge Univ. P. (1) Cambridge Univ. Press (1) Cambridge University Press (1) Center for the Study of Langu… (1) De Gruyter (1) Dover (1) Dover Publications (1) Ellis Horwood (1) Halsted Press (1) MIT Press (1) Springer (1) Walker & Co (1) Yale Univ. Press (1)

Year

2014 (1) 2012 (1) 2011 (1) 2009 (1) 2006 (1) 2004 (1) 1996 (1) 1994 (2) 1993 (2) 1992 (1) 1990 (1) 1985 (1) 1979 (1) 1977 (1) 1974 (2)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type