Simple view

Full metadata view

Authors

Statistics

Mathematical logic : exercises and solutions

2022
book
handbook
10.1007/978-3-030-79010-3
Publisher
Springer
80
Author
Csirmaz Laszlo

Gyenis Zalán
Publication place
Cham : Springer
Pages
VIII, 319
ISBN
978-3-030-79009-7
eISBN
978-3-030-79010-3 (eBook)
Publication series title
Problem Books in Mathematics
Serie's ISSN
0941-3502
Serie's eISSN
2197-8506
Keywords in English

mathematical logic

formal logic

first-order logic

propositional calculus

predicate calculus

Gödel’s theorems

Peano axiom system

recursion theory

ultraproducts

problem solving

Language
English
Affiliation
Wydział Filozoficzny : Instytut Filozofii
cris.lastimport.wos2024-04-09T18:09:56Z
dc.affiliationWydział Filozoficzny : Instytut Filozofiipl
dc.contributor.authorCsirmaz, Laszlopl
dc.contributor.authorGyenis, Zalán - 379823 pl
dc.date.accessioned2022-03-24T16:26:59Z
dc.date.available2022-03-24T16:26:59Z
dc.date.issued2022pl
dc.description.physicalVIII, 319pl
dc.description.publication12pl
dc.description.seriesProblem Books in Mathematics
dc.identifier.doi10.1007/978-3-030-79010-3pl
dc.identifier.eisbn978-3-030-79010-3 (eBook)pl
dc.identifier.isbn978-3-030-79009-7pl
dc.identifier.project2019/34/E/HS1/00044; źródło finansowania: Narodowe Centrum Naukipl
dc.identifier.serieseissn2197-8506
dc.identifier.seriesissn0941-3502
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/289510
dc.languageengpl
dc.pubinfoCham : Springerpl
dc.publisher.ministerialSpringerpl
dc.rightsDodaję tylko opis bibliograficzny*
dc.rights.licenceBez licencji otwartego dostępu
dc.rights.uri*
dc.subject.enmathematical logicpl
dc.subject.enformal logicpl
dc.subject.enfirst-order logicpl
dc.subject.enpropositional calculuspl
dc.subject.enpredicate calculuspl
dc.subject.enGödel’s theoremspl
dc.subject.enPeano axiom systempl
dc.subject.enrecursion theorypl
dc.subject.enultraproductspl
dc.subject.enproblem solvingpl
dc.subtypeHandbookpl
dc.titleMathematical logic : exercises and solutionspl
dc.typeBookpl
dspace.entity.typePublication
cris.lastimport.wos
2024-04-09T18:09:56Z
dc.affiliationpl
Wydział Filozoficzny : Instytut Filozofii
dc.contributor.authorpl
Csirmaz, Laszlo
dc.contributor.authorpl
Gyenis, Zalán - 379823
dc.date.accessioned
2022-03-24T16:26:59Z
dc.date.available
2022-03-24T16:26:59Z
dc.date.issuedpl
2022
dc.description.physicalpl
VIII, 319
dc.description.publicationpl
12
dc.description.series
Problem Books in Mathematics
dc.identifier.doipl
10.1007/978-3-030-79010-3
dc.identifier.eisbnpl
978-3-030-79010-3 (eBook)
dc.identifier.isbnpl
978-3-030-79009-7
dc.identifier.projectpl
2019/34/E/HS1/00044; źródło finansowania: Narodowe Centrum Nauki
dc.identifier.serieseissn
2197-8506
dc.identifier.seriesissn
0941-3502
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/289510
dc.languagepl
eng
dc.pubinfopl
Cham : Springer
dc.publisher.ministerialpl
Springer
dc.rights*
Dodaję tylko opis bibliograficzny
dc.rights.licence
Bez licencji otwartego dostępu
dc.rights.uri*
dc.subject.enpl
mathematical logic
dc.subject.enpl
formal logic
dc.subject.enpl
first-order logic
dc.subject.enpl
propositional calculus
dc.subject.enpl
predicate calculus
dc.subject.enpl
Gödel’s theorems
dc.subject.enpl
Peano axiom system
dc.subject.enpl
recursion theory
dc.subject.enpl
ultraproducts
dc.subject.enpl
problem solving
dc.subtypepl
Handbook
dc.titlepl
Mathematical logic : exercises and solutions
dc.typepl
Book
dspace.entity.type
Publication
Affiliations

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

Views
45
Views per month
Views per city
Krakow
12
Ashburn
5
Wroclaw
2
Bialystok
1
Bogotá
1
Brno
1
Chuoku
1
Dublin
1
Frankfurt am Main
1
Munich
1

No access

No Thumbnail Available
Collections
Teaching publications